Normal view
MARC view
Advances in Verification of Time Petri Nets and Timed Automata Электронный ресурс A Temporal Logic Approach / by Wojciech Penczek, Agata Pólrola
Material type:
Computer fileSeries: Studies in Computational IntelligencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006ISBN: 9783540328704Subject(s): Artificial intelligence | engineering | Engineering mathematics | Engineering | Appl.Mathematics/Computational Methods of Engineering | Artificial Intelligence (incl. Robotics)Online resources: Click here to access online
In:
Springer e-books
No physical items for this record
There are no comments on this title.