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. Springer 1997 Lecture Notes in Computer Science 1192 ISBN 3-540-62503-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team