Eruditor.com > Wojciech Penczek

Wojciech Penczek

Penczek Wojciech, Polrola Agata, Pslrola Agata:
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Studies In Computational Intelligence( 20)
Springer, 2006
Hardcover, 257 pages

Our price: £62.96
You save: 10%
Not available
© 2006-2008 Eruditor Ltd and its partners

Search

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z