e CIG: Conference Papers


Conference Papers

Autor:Jamroga, W.
Bearbeiter:L. Padgham and D. Parkes and J. Müller and S. Parsons
Titel:A Temporal Logic for Markov Chains
Buchtitel:Proceedings of AAMAS'08
Jahr:2008
Seiten:697-704
Herausgeber:IFAAMAS
BibTeX-Code:
@inproceedings{Jamroga08mtl-aamas,
author={Jamroga, W.},
editor={L. Padgham and D. Parkes and J. Müller and S. Parsons},
title={A Temporal Logic for Markov Chains},
booktitle={Proceedings of AAMAS'08},
year={2008},
pages={697-704},
publisher={IFAAMAS},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019