e CIG: Conference Papers


Conference Papers

Autor:Jamroga, W.
Titel:Easy Yet Hard: Model Checking Strategies of Agents
Buchtitel:Proceedings of CLIMA IX
Jahr:2008
Seiten:3-12
BibTeX-Code:
@inproceedings{Jamroga08easyyethard,
author={Jamroga, W.},
title={Easy Yet Hard: Model Checking Strategies of Agents},
booktitle={Proceedings of CLIMA IX},
year={2008},
pages={3-12},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019