e CIG: Conference Papers


Conference Papers

Autor:Jamroga, W.
Titel:A Temporal Logic for Stochastic Multi-Agent Systems
Buchtitel:Proceedings of PRIMA'08
Ausgabe:5357
Jahr:2008
Seiten:239-250
Serie:LNCS
BibTeX-Code:
@inproceedings{Jamroga08mtl-prima,
author={Jamroga, W.},
title={A Temporal Logic for Stochastic Multi-Agent Systems},
booktitle={Proceedings of PRIMA'08},
volume={5357},
year={2008},
pages={239-250},
series={LNCS},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019