Wojciech Penczek
· 6 obras en el catálogo
Obras

Advances in verification of time petri nets and timed automata
Half a century of inspirational research

Transactions on Petri Nets and Other Models of Concurrency XIII

Challenging Problems and Solutions in Intelligent Systems
