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-S15...
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 : ENTCS
Band/Volume: 164,3
Seitenbereich: 187-204
Herausgeber: Di Pierro, Alessandra
Ort der Veröffentlichung: Amsterdam [u.a.]
Verlag: Elsevier Science
ISBN: 1571-0661
ISSN: 1571-0661
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Fachgebiet: 004 Informatik




Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen