Wojciech Penczek

Identifiers

Open LibraryOL3179301A

Top Subjects

Mathematics (1)
Applied (1)
Computers (1)
Engineering: general (1)
Computer Books: General (1)
Mathematics / Applied (1)
Artificial Intelligence - General (1)

Books by Wojciech Penczek

Total count: 5

Advances in Verification of Time Petri Nets and Timed AutomataA Temporal Logic Approach (Studies in Computational Intelligence)1 edition

Springer2006-07-28
Applications and Theory of Petri Nets31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

Springer London, Limited2010-01-01
Challenging Problems and Solutions in Intelligent Systems

Springer2016-01-01
Transactions on Petri Nets and Other Models of Concurrency XII

Springer2017-09-26
Transactions on Petri Nets and Other Models of Concurrency XIII

Springer2018-11-29