Advances in Verification of Time Petri Nets and Timed Automata

Bok av Wojciech. Penczek