e CIG: Conference Papers


Conference Papers

Autor:Bulling, Nils and Jamroga, Wojciech
Titel:Model Checking ATL$^+$ is Harder than It Seemed
Buchtitel:Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS'09
Jahr:2009
Seiten:43-57
BibTeX-Code:
@inproceedings{Bulling09atlplus-eumas,
author={Bulling, Nils and Jamroga, Wojciech},
title={Model Checking ATL$^+$ is Harder than It Seemed},
booktitle={Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS'09},
year={2009},
pages={43-57},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019