T. Illmann, T. Krueger, F. Kargl, and M. Weber. International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'00), Wollongong, Australia, (December 2000)
G. Klauer, R. Melamed, A. Tillmann, and S. Kandsperger. Proceedings der Pre-Confernece Workshop der 4. E-Learning Fachtagung Informatik DeLFI 2006, page 107--114. Berlin, Logos Verlag, (2006)
S. Anand, P. Godefroid, and N. Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2008)