Penczek, Wojciech <br/><br/>
Advances in Verification of Time Petri Nets and Timed Automata   
by Wojciech Penczek 
 - Berlin  Springer 
 - Lecture notes in computer science .
<br/><br/><label>Dewey Class. No.: </label>511.35  /