語系
Valmari, Antti.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-電子資源)
Model Checking Software (vol. # 3925)13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
by:
(1998 :); SpringerLink (Online service); Valmari, Antti.
(書目-電子資源)