TY  - BOOK
AU  - PENCZEK (WOJCIECH)
TI  - ADVANCES IN VERIFICATION OF TIME PETRI PENTS AND TIMED AUT0OMATA
SN  - 3540328696
U1  - 511.35 PEN 
PY  - 2006///
PB  - SPRINGER
ER  -