Clicky

Advances in verification of time petri nets and timed automata by Wojciech Penczek and similar books you'll love - Bookscovery

Home > Authors > Wojciech Penczek > Advances in verification of time petri nets and timed automata

Buy at: Bookshop.org Amazon

Advances in verification of time petri nets and timed automata

Wojciech Penczek, Agata Pólrola

Recent activity

Rate this book to see your activity here.

3 Books Similar to Advances in verification of time petri nets and timed automata by Wojciech Penczek

Bookscovery readers who liked Advances in verification of time petri nets and timed automata also like Challenging Problems and Solutions in Intelligent Systems, Transactions on Petri Nets and Other Models of Concurrency XII and Transactions on Petri Nets and Other Models of Concurrency XIII. How many of these have you read?

Challenging Problems and Solutions in Intelligent Systems by Guy de Trė

Cover of Challenging Problems and Solutions in Intelligent Systems
Buy this book at:
Bookshop.org Amazon

Transactions on Petri Nets and Other Models of Concurrency XII by Maciej Koutny

Cover of Transactions on Petri Nets and Other Models of Concurrency XII
Buy this book at:
Bookshop.org Amazon

Transactions on Petri Nets and Other Models of Concurrency XIII by Maciej Koutny

Cover of Transactions on Petri Nets and Other Models of Concurrency XIII
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Advances in verification of time petri nets and timed automata

Please sign in to leave a comment