E-book
Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach / by Wojciech Penczek, Agata Pólrola.
Record details
- ISBN: 9783540328704
- Physical Description: XXXII, 257 p. 124 illus. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Search for related items by subject
| Subject: | Engineering. Artificial intelligence. Engineering mathematics. Engineering. Appl.Mathematics/Computational Methods of Engineering. Artificial Intelligence (incl. Robotics). |
