Steps toward formal verification of agent-based E-business applications

N.B. Szirbik, G.R. Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publicationMOCA '01, Workshop on Modelling of Objects, Components and Agents, August 2001
EditorsD. Moldt
Place of PublicationAarhus, Denmark
PublisherUniversity of Aarhus
Pages261-271
Publication statusPublished - 2001

Publication series

NameDAIMI PB
Volume553

Cite this