Applications and Theory of Petri Nets 2003: 24th International Conference, ICAT… Wil Van Der Aalst Eike Best 0.0 stars
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Exec… Peter Csaba Ölveczky 0.0 stars
Diagnostic de systèmes complexes: accessibilité arrière: Contributions à l'anal… Mohamed Bouali 0.0 stars
Distributed Systems: Methods and Tools for Specification. An Advanced Course (L… M.W. Alford J.P. Ansart G. Hommel L. Lamport B. Liskov G.P. Mullery F.B. Schneider 0.0 stars
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decisio… Calin Belta Boyan Yordanov Ebru Aydin Gol 0.0 stars
Handbook of Model Checking Edmund M. Clarke Thomas A. Henzinger Helmut Veith Roderick Bloem 0.0 stars
