Natasha Alechina'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). pdf    

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