e CIG: Technical Reports


Technical Reports

Author:Bulling, Nils
Title:Model Checking Coalition Logic on Implicit Models is Delta3-complete
Year:2010
Number:IfI-10-02
Url:http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1002bulling.pdf
Institution:Clausthal University of Technology
BibTeX-Code:
@techreport{ifi1002bulling,
author={Bulling, Nils},
title={Model Checking Coalition Logic on Implicit Models is Delta3-complete},
year={2010},
url={http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1002bulling.pdf},
number={IfI-10-02},
institution={Clausthal University of Technology},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019