e CIG: Conference Papers


Conference Papers

Autor:Jamroga, W.
Titel:Easy Yet Hard: Model Checking Strategies of Agents
Buchtitel:Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX
Ausgabe:5405
Jahr:2009
Seiten:1-12
Serie: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},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019