e CIG: Technical Reports


Technical Reports

Author:Bulling, Nils and Jamroga, Wojciech
Title:Model Checking ATL+ is Harder than It Seemed
Year:2009
Number:IfI-09-13
Url:http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi0913bulling.pdf
Institution:Clausthal University of Technology
BibTeX-Code:
@techreport{ifi0913bulling,
author={Bulling, Nils and Jamroga, Wojciech},
title={Model Checking ATL+ is Harder than It Seemed},
year={2009},
url={http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi0913bulling.pdf},
number={IfI-09-13},
institution={Clausthal University of Technology},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019