
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
₹5,393
Showing 1–5 of 5 books

Wojciech Penczek, Agata Pólrola
₹5,393

Nancy Lynch, Frits Vaandrager, Roberto Segala, Dilsun Kaynar
₹3,503

Deji Chen, Aloysius Mok, Mark Nixon
₹7,777

Jonathan Levi
₹3,562

Rodolfo Gomez, Howard Bowman
₹2,012