e CIG: Conference Papers


Conference Papers

Author:Jamroga, W.
Title:Easy Yet Hard: Model Checking Strategies of Agents
Booktitle:Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX
Volume:5405
Year:2009
Pages:1-12
Series:LNCS
BibTeX-Code:
@inproceedings{Jamroga09easyyethard-lncs,
author={Jamroga, W.},
title={Easy Yet Hard: Model Checking Strategies of Agents},
booktitle={Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX},
volume={5405},
year={2009},
pages={1-12},
series={LNCS},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019