Logical and Operational Methods in the Analysis of Programs and Systems
(LOMAPS)
5. LOMAPS 1996: Stockholm, Sweden
Mads Dam (Ed.):
Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers.
Lecture Notes in Computer Science 1192 Springer 1997, ISBN 3-540-62503-8
Contents 
Copyright © Mon Mar 15 03:46:20 2010
by Michael Ley (ley@uni-trier.de)
