e CIG: Technical Reports

Technical Reports

Author:K
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},
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
 
© TU Clausthal 2013 · Imprint