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
$132.18

$132.18

Save:$12.11 (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

$132.18

$132.18

More Information