ISBN 9783540625032 books & textbook
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science, 1192)
Springer /1997-01-07 Paperback / 452 Pages
isbn-10: 3540625038 / isbn-13: 9783540625032