Automated verification of resource requirements in multi-agent systems using abstraction

TitleAutomated verification of resource requirements in multi-agent systems using abstraction
Publication TypeConference Paper
Year of Publication2011
AuthorsAlechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib
Refereed DesignationRefereed
Editorvan der Meyden, Ron, and Jan-Georg Smaus
Conference Name6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
VolumeLNAI 6572
Pages69--84
PublisherSpringer
ISBN Number978-3-642-20673-3
Citation KeyAlechina//:11a
AttachmentSize
Alechina++:11a.pdf185.01 KB