Brian Logan's Publications

Verifying Systems of Resource-Bounded Agents (2016)

By: Natasha Alechina, and Brian Logan

Download Information

Natasha Alechina and Brian Logan (2016). "Verifying Systems of Resource-Bounded Agents." Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings (pp. 3-12).

Bibtex citation

@inproceedings{Alechina/Logan:16a,
author =    "Natasha Alechina and Brian Logan",
title =    "Verifying Systems of Resource-Bounded Agents",
booktitle =    "Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings",
editor =    "Arnold Beckmann and Laurent Bienvenu and Nata{\v{s}}a Jonoska",
year =    2016,
pages =    "3--12",
publisher =    "Springer",
isbn =    "978-3-319-40189-8",
doi =       "10.1007/978-3-319-40189-8\_1",
}

---

full list