~ tracking down this book ~
only cover on file
Advances in Verification of Time Petri Nets and Timed Automata
by Wojciech Penczek and Agata Pólrola
“A Temporal Logic Approach (Studies in Computational Intelligence)”
2006291 pages~5½h read
only cover on file
Advances in Verification of Time Petri Nets and Timed Automata
by Wojciech Penczek and Agata Pólrola
“A Temporal Logic Approach (Studies in Computational Intelligence)”
2006291 pages~5½h read
On your list
—
sign in to rank
Across the community