e CIG: Conference Papers


Conference Papers

Autor:Köster, Michael and Lohmann, Peter
Titel:Abstraction for model checking modular interpreted systems over ATL
Buchtitel:The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Jahr:2011
Seiten:1129-1130
Serie:AAMAS '11
Herausgeber:International Foundation for Autonomous Agents and Multiagent Systems
isbn:0-9826571-7-X, 978-0-9826571-7-1
Url:http://dl.acm.org/citation.cfm?id=2034396.2034452
BibTeX-Code:
@inproceedings{Koster:2011:AMC:2034396.2034452,
author={Köster, Michael and Lohmann, Peter},
title={Abstraction for model checking modular interpreted systems over ATL},
booktitle={The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3},
year={2011},
pages={1129-1130},
series={AAMAS '11},
publisher={International Foundation for Autonomous Agents and Multiagent Systems},
isbn={0-9826571-7-X, 978-0-9826571-7-1},
url={http://dl.acm.org/citation.cfm?id=2034396.2034452},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019