Agata Pólrola

ספרים שבהם Agata Pólrola מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Advances in verification of time petri nets and timed automataWojciech Penczek

Advances in verification of time petri nets and timed automata

Wojciech Penczek · 2006