1
Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings [E-Book] /
2
Application and Theory of Petri Nets 1998 [E-Book] : 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings /
3
Application and Theory of Petri Nets 2002 [E-Book] : 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /
4
Applications and Theory of Petri Nets 2004 [E-Book] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings /
5
Applications and Theory of Petri Nets 2005 [E-Book] / 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
6
Do-All Computing in Distributed Systems [E-Book] : Cooperation in the Presence of Adversity /
7
Petri Nets and Other Models of Concurrency - ICATPN 2006 [E-Book] / 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
8
Petri Nets and Other Models of Concurrency - ICATPN 2007 [E-Book] / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding
9
Principles of the Spin Model Checker [E-Book] /
10
Software Security - Theories and Systems [E-Book] : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 /