Skip to Content

Model Checking for ACL Compliance Verification

Model Checking for ACL Compliance Verification
— status
published
— sort
book chapter
who
— authors
Marc-Philippe Huget  •  Michael J. Wooldridge
— editors
Frank Dignum
where & when
— publication date
2004
— volume
Advances in Agent Communication
— volume no.
2922
— pages
75–90
— number of pages
16
— publisher
Springer
URL
URL  •  PDF URL
— DOI
10.1007/978-3-540-24608-4_5
ISBN & ISSN
— ISBN
978-3-540-20769-6
notes
— note
International Workshop on Agent Communication Languages (ACL 2003), Melbourne, Australia, 14 July 2003. Revised and Invited Papers