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:
Description
Physical Description:vii, 434 p. : il. ; 24 cm.
ISBN:3540625038