Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

8:36 PM  sridhar  

Wojciech Penczek , Agata Pólrola, "Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach"
Springer; 1 edition (July 28, 2006) | ISBN-10: 3540328696 | 257 Pages | PDF | 42 MB


Depositfiles


mirror

Posted in: ,

Share

Twitter Delicious Facebook Digg Stumbleupon Favorites More