Brian Logan's Publications

Verification of Resource Requirements of Distributed Reasoning Agents (2008)

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

Download Information

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verification of Resource Requirements of Distributed Reasoning Agents." Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008).

Bibtex citation

@inproceedings{Alechina//:08c,
author =     {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
title =     {Verification of Resource Requirements of Distributed Reasoning Agents},
booktitle =     {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages ({QAPL} 2008)},
year =     {2008},
address =     {Budapest, Hungary},
month =     {March},
}

---

full list