Languages
Valmari, Antti.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Application and theory of petri nets and concurrency36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings /
by:
(1998 :); Devillers, Raymond.; SpringerLink (Online service); Valmari, Antti.
(Electronic resources)
Model Checking Software (vol. # 3925)13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
by:
(1998 :); SpringerLink (Online service); Valmari, Antti.
(Electronic resources)