Mads Dam: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
____________________________
Author: Mads Dam
Number of Pages: 444 pages
Published Date: 01 Feb 1997
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540625032
Download Link: Click Here
____________________________