Analysis and verification of multiple-agent languages :  5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / 
 LOMAPS 
Mads Dam, ed. 
 - Berlin :  Springer,  1997 
 - 434 p. 
 - Lecture notes in computer science ;  no. 1192 .
<br/><br/><label>ISBN: </label>3540625038 
<br/><br/><label>ISSN: </label>03029743 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.7  / L662 1996