Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996: workshop, selected papers - Dam, Mads (Berlin: Springer, 1997)
Index.
Includes bibliographical references.
Keywords: Programming languages; Hybrid systems; Software development; Logic Programming