Acronyms von A bis Z
LNCS1192
-M. Dam (Ed.): Analysis and Verification of Multiple-Agent Languages. Proceedings 1996, Springer-Verlag 1997
-M. Dam (Ed.): Analysis and Verification of Multiple-Agent Languages. Proceedings 1996, Springer-Verlag 1997