Trace Semantics for Stochastic Systems with Nondeterminism


Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila


URL: http://dx.doi.org/10.1016/j.entcs.2006.07.019
Weitere URL: http://ac.els-cdn.com/S1571066106004981/1-s2.0-S1571066106004981-main.pdf?_tid=4d14ca6c-ced6-11e3-8b71-00000aab0f6b&acdnat=1398690736_e625451a6998a2ada543f822cef7e594
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2006
Buchtitel: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006
Titel einer Zeitschrift oder einer Reihe: Electronic Notes in Theoretical Computer Science
Band: 164,3
Seitenbereich: 187-204
Autor/Hrsg. des Buches
(nur der Erstgenannte!)
:
Di Pierro, Alessandra
Ort der Veröffentlichung: Amsterdam [u.a.]
Verlag: Elsevier Science
ISBN: 1571-0661
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Wolf, Verena und Baier, Christel und Majster-Cederbaum, Mila (2006) Trace Semantics for Stochastic Systems with Nondeterminism. In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006 2006 Amsterdam [u.a.] [Konferenzveröffentlichung]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen