TY  - BOOK
AU  - Penczek,Wojciech
AU  - Polrola,Agata
TI  - Advances in verification of time petri nets and timed automata: a temporal logic approach 
T2  - Studies in computational intelligence
SN  - 3540328696
AV  - QA267  .P45 2006
PY  - 2006///
CY  - New York
PB  - Springer
KW  - Petri nets
KW  - Real-time control
KW  - Real-time data processing
ER  -