e CIG: Journal Articles


Journal Articles

Author:Jamroga, Wojciech and Dix, Jürgen
Title:Model Checking Abilities of Agents: A Closer Look
Journal:Theory of Computing Systems
Volume:42
Year:2008
Pages:366-410
Number:3
Publisher:Springer
BibTeX-Code:
@article{jamdix08,
author={Jamroga, Wojciech and Dix, Jürgen},
title={Model Checking Abilities of Agents: A Closer Look},
journal={Theory of Computing Systems},
volume={42},
year={2008},
pages={366-410},
publisher={Springer},
number={3},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019