TY  - BOOK
AU  - Penczek, Wojciech
AU  - P२lrola, Agata
TI  - Advances in Verification of Time Petri Nets and Timed Automata
T2  - Lecture notes in computer science
U1  - 511.35 
CY  - Berlin
PB  - Springer
ER  -