Analysis and verification of multiple-agent languages /

Bibliographic Details
Corporate Author: LOMAPS Workshop Stockholm, Sweden
Other Authors: Dam, Mads (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1997.
Series:Lecture notes in computer science ; v. 1192
LNCS ; v. 1192
Subjects: