TY  - BOOK
AU  - Penczek,Wojciech
AU  - Polrola,Agata
ED  - SpringerLink (Online service)
TI  - Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach 
SN  - 9783540328704 (electronic bk.)
AV  - QA267 .P45 2006
U1  - 511.35 22
PY  - 2006///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Petri nets
KW  - Real-time control
KW  - Real-time data processing
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-32870-4
ER  -