Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach: 20 (Studies in Computational Intelligence)

by Agata Pólrola (Contributor), Wojciech Penczek (Author)

New
Paperback
2010
$126.37

$126.37

Save:$11.58 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 292
Edition: Softcover reprint of hardcover 1st ed. 2006
Publisher: Springer
Published: 25 Nov 2010
ISBN 10: 3642069428
ISBN 13: 9783642069420

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach: 20 (Studies in Computational Intelligence)

New

$126.37

$126.37

More Information