e CIG: Book Chapters


Book Chapters

Author:Köster, Michael and Lohmann, Peter
Editor:Dennis, Louise and Boissier, Olivier and Bordini, Rafael
Title:Abstraction for Model Checking Modular Interpreted Systems over ATL
Booktitle:Programming Multi-Agent Systems
Volume:7217
Year:2012
Pages:95-113
Series:Lecture Notes in Computer Science
Publisher:Heidelberg, Springer Berlin /
isbn:978-3-642-31914-3
Url:http://dx.doi.org/10.1007/978-3-642-31915-0_6
BibTeX-Code:
@incollection{springerlink:10.1007/978-3-642-31915-0_6,
author={Köster, Michael and Lohmann, Peter},
editor={Dennis, Louise and Boissier, Olivier and Bordini, Rafael},
title={Abstraction for Model Checking Modular Interpreted Systems over ATL},
booktitle={Programming Multi-Agent Systems},
volume={7217},
year={2012},
pages={95-113},
series={Lecture Notes in Computer Science},
publisher={Heidelberg, Springer Berlin /},
isbn={978-3-642-31914-3},
url={http://dx.doi.org/10.1007/978-3-642-31915-0_6},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019