Advances in Verification of Time Petri Nets and Timed Automata

Penczek, WojciechPółrola, Agata2019-07-302024-04-262019-07-302024-04-262006978-3-540-32869-8https://drs.ess.gov.et/handle/12345678/77318enAdvances in Verification of Time Petri Nets and Timed AutomataAdvances in Verification of Time Petri Nets and Timed AutomataBook