Agata Pólrola

• Advances in verification of time petri nets and timed automata