Agata Pólrola

Books that list Agata Pólrola among their authors but not as the lead author: co-written works, collections and compilations.

Advances in verification of time petri nets and timed automataWojciech Penczek

Advances in verification of time petri nets and timed automata

Wojciech Penczek · 2006