e CIG: Technical Reports


Technical Reports

Author:Köster, Michael and Lohmann, Peter
Title:Abstraction for Model Checking Modular Interpreted Systems over ATL
Year:2010
Number:IfI-10-13
Url:http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1013koester.pdf
Institution:Clausthal University of Technology
BibTeX-Code:
@techreport{ifi1013koester,
author={Köster, Michael and Lohmann, Peter},
title={Abstraction for Model Checking Modular Interpreted Systems over ATL},
year={2010},
url={http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1013koester.pdf},
number={IfI-10-13},
institution={Clausthal University of Technology},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019