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

N.B. Szirbik; G.R. Wagner

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

N.B. Szirbik, G.R. Wagner

Information Systems IE&IS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	English
Title of host publication	MOCA '01, Workshop on Modelling of Objects, Components and Agents, August 2001
Editors	D. Moldt
Place of Publication	Aarhus, Denmark
Publisher	University of Aarhus
Pages	261-271
Publication status	Published - 2001

Publication series

Name	DAIMI PB
Volume	553

Cite this

@inproceedings{1f2b783925c5419287d271d5d4f43505,

title = "Steps toward formal verification of agent-based E-business applications",

author = "N.B. Szirbik and G.R. Wagner",

year = "2001",

language = "English",

series = "DAIMI PB",

publisher = "University of Aarhus",

pages = "261--271",

editor = "D. Moldt",

booktitle = "MOCA '01, Workshop on Modelling of Objects, Components and Agents, August 2001",

}

Steps toward formal verification of agent-based E-business applications. / Szirbik, N.B.; Wagner, G.R.

MOCA '01, Workshop on Modelling of Objects, Components and Agents, August 2001. ed. / D. Moldt. Aarhus, Denmark : University of Aarhus, 2001. p. 261-271 (DAIMI PB; Vol. 553).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic