Penczek, Wojciech.
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach / [electronic resource] : by Wojciech Penczek, Agata Pólrola. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Studies in Computational Intelligence, 20 1860-949X ; . - Studies in Computational Intelligence, 20 .
9783540328704
10.1007/978-3-540-32870-4 doi
Engineering.
Artificial intelligence.
Engineering mathematics.
Engineering.
Appl.Mathematics/Computational Methods of Engineering.
Artificial Intelligence (incl. Robotics).
TA329-348 TA640-643
519
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach / [electronic resource] : by Wojciech Penczek, Agata Pólrola. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Studies in Computational Intelligence, 20 1860-949X ; . - Studies in Computational Intelligence, 20 .
9783540328704
10.1007/978-3-540-32870-4 doi
Engineering.
Artificial intelligence.
Engineering mathematics.
Engineering.
Appl.Mathematics/Computational Methods of Engineering.
Artificial Intelligence (incl. Robotics).
TA329-348 TA640-643
519