Brian Logan's Publications

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

By: Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib

Download Information

Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (pp. 69-84).

Bibtex citation

@inproceedings{Alechina//:11a,
author =    {Natasha Alechina and Brian Logan and Nguyen, Hoang Nga and Abdur Rakib},
title =    {Automated verification of resource requirements in multi-agent systems using abstraction},
booktitle =    {6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers},
year =    2010,
editor =    {van der Meyden, Ron and Jan-Georg Smaus},
series =    {LNAI},
volume =    6572,
pages =    {69--84},
publisher =    {Springer},
isbn =    {978-3-642-20673-3},
}

---

full list