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

N.B. Szirbik, G.R. Wagner

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Originele taal-2Engels
TitelMOCA '01, Workshop on Modelling of Objects, Components and Agents, August 2001
RedacteurenD. Moldt
Plaats van productieAarhus, Denmark
UitgeverijUniversity of Aarhus
Pagina's261-271
StatusGepubliceerd - 2001

Publicatie series

NaamDAIMI PB
Volume553

Citeer dit