Logical and Operational Methods in the Analysis of Programs and Systems
(LOMAPS)
LOMAPS Project
Home Page
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 BibTeX
Copyright © Sat May 16 23:28:55 2009
by Michael Ley (ley@uni-trier.de)
