Home › Authors › Agata Pólrola 👤 Agata Pólrola 1 book Books by Agata Pólrola Advances in verification of time petri nets and timed automata 2010
