ผู้เขียน: Agata Polrola

Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata