Login
Dokumenttyp:
Technischer Report / Technical Report
Titel:
A Stochastic Extension of the Logic PDL
Verlegende Institution:
Universität der Bundeswehr München, Fakultät für Informatik
Jahr:
2004
Sprache:
Englisch
Reportnummer:
Technical report Nr. 2004/05
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
BibTeX