Ammar Mohammed, Ulrich Furbach. Multi-agent Systems: Modeling and Verification Using Hybrid Automata. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems, May 10-15, 2009, Budapest, Hungary, Held in conjunction with AAMAS 2009, Pages 86-102, 2009.
@InProceedings{ProMAS2009,
Author = {Mohammed, Ammar and Furbach, Ulrich},
Title = {{Multi-agent Systems: Modeling and Verification Using Hybrid Automata}},
BookTitle = {{Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems, May 10-15, 2009, Budapest, Hungary}},
Pages = {86--102},
Year = {2009}
}
Get EndNote Reference (.ref)