e CIG: Conference Papers


Conference Papers

Autor:Ågotnes, T. and Goranko, V. and Jamroga, W.
Bearbeiter:D. Samet
Titel:Alternating-time Temporal Logics with Irrevocable Strategies
Buchtitel:Proceedings of TARK XI
Jahr:2007
Seiten:15-24
Herausgeber:Presses Universitaires de Louvain
BibTeX-Code:
@inproceedings{Agotnes07irrevocable,
author={Ågotnes, T. and Goranko, V. and Jamroga, W.},
editor={D. Samet},
title={Alternating-time Temporal Logics with Irrevocable Strategies},
booktitle={Proceedings of TARK XI},
year={2007},
pages={15-24},
publisher={Presses Universitaires de Louvain},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019