Prentice-Hall Inc. / APL / IOS Press / Multiagent Systems / Multi-Agent Systems / Programming Multi-Agent Systems / /
Country
France / /
Currency
pence / / /
Event
Bankruptcy / /
Facility
Computer Science University of Nottingham / University of Utrecht / /
IndustryTerm
model check systems / transition systems / safety critical applications / /
Organization
University of Utrecht / Computer Science University / Verifying Heterogeneous Multi-Agent Programs Thu Trang Doan Yuan Yao Natasha Alechina Brian Logan School / International Foundation for Autonomous Agents / /
Person
Specification / Michael Huhns / Alessio Lomuscio / Paul Scerri / Verification / Ana Bazzan / Trang Doan Yuan / /
Position
editor / Belief-Desire-Intention model of agency / agent interpreter / Jason interpreter / program interpreter / /
Product
Maude / /
ProgrammingLanguage
Java / /
ProvinceOrState
M. B. / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / /
Verifying Heterogeneous Multi-Agent Programs Thu Trang Doan Yuan Yao Natasha Alechina