Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
₹5,393
Author
Books by Wojciech Penczek
Showing 1–2 of 2 books
Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
₹4,411
Author
Showing 1–2 of 2 books
Wojciech Penczek, Agata Pólrola
₹5,393
Wojciech Penczek, Andrzej Szalas
₹4,411