|aAnalysis and verification of multiple-agent languages|h[electronic resource] :|b5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /|cMads Dam (ed.).
260
|aBerlin ;|aNew York :|bSpringer,|cc1997.
300
|aviii, 434 p. :|bdigital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v1192
650
0
|aProgramming languages (Electronic computers)|xCongresses.
700
1
|aDam, Mads.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-62503-8
950
|aComputer Science (Lecture Notes in Computer Science)