1
Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /
2
Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
3
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /