Showing 1 - 4 of 4 Results
1.
Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newca... by Kristensen, Lars M., Petruc... ISBN: 9783642218330 List Price: $83.00
2.
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Works... by Petrucci, Laure, Seceleanu,... ISBN: 9783319671123 List Price: $59.99
3.
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023,... by Petrucci, Laure, Sproston, ... ISBN: 9783031426254 List Price: $54.99