Antti Valmari
Identifiers
- Open LibraryOL3331525A
Top Subjects
- Computer software, verification (1)
- Petri nets (1)
Books by Antti Valmari
Total count: 2
-
Model Checking Software13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Application and Theory of Petri Nets and Concurrency36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, ProceedingsSpringer International Publishing AG2015-01-01