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
Friday, June 5, 2009
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment