Comparative Branching Time Semantics for Markov Chains

URL:	http://dx.doi.org/10.1016/j.ic.2005.03.001
Dokumenttyp:	Zeitschriftenartikel
Erscheinungsjahr:	2005
Titel einer Zeitschrift oder einer Reihe:	Information and Computation
Band/Volume:	200
Heft/Issue:	2
Seitenbereich:	149-214
Ort der Veröffentlichung:	Amsterdam
Verlag:	Elsevier
ISSN:	0890-5401
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Fachgebiet:	004 Informatik
Normierte Schlagwörter (SWD):	Markov-Prozess

Dieser Eintrag ist Teil der Universitätsbibliographie.

BASE: Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena

Google Scholar: Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena

Aufrufe im letzten Jahr

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

Eintrag anzeigen