e CIG: Conference Papers


Conference Papers

Autor:Jamroga, W.
Titel:Knowledge and Strategic Ability for Model Checking: Refined Approach
Buchtitel:Proceedings of MATES'08
Ausgabe:5244
Jahr:2008
Seiten:99-110
Serie:LNCS
BibTeX-Code:
@inproceedings{Jamroga08reduction,
author={Jamroga, W.},
title={Knowledge and Strategic Ability for Model Checking: Refined Approach},
booktitle={Proceedings of MATES'08},
volume={5244},
year={2008},
pages={99-110},
series={LNCS},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019