e CIG: Technical Reports


Technical Reports

Author:Bulling, Nils and Farwer, Berndt
Title:On the Decidability of Verifying Resource-Bounded Agents
Year:2010
Number:IfI-10-05
Url:http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1005bulling.pdf
Institution:Clausthal University of Technology
BibTeX-Code:
@techreport{ifi1005bulling,
author={Bulling, Nils and Farwer, Berndt},
title={On the Decidability of Verifying Resource-Bounded Agents},
year={2010},
url={http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1005bulling.pdf},
number={IfI-10-05},
institution={Clausthal University of Technology},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019