Trace machines for observing continuous-time Markov chains

DOI:	https://doi.org/10.1016/j.entcs.2005.10.042
URL:	https://www.sciencedirect.com/science/article/pii/...
Weitere URL:	https://www.researchgate.net/publication/222701837...
Dokumenttyp:	Zeitschriftenartikel
Erscheinungsjahr:	2006
Titel einer Zeitschrift oder einer Reihe:	Electronic Notes in Theoretical Computer Science : ENTCS
Band/Volume:	153
Heft/Issue:	2
Seitenbereich:	259-277
Veranstaltungstitel:	3d Workshop on Quantitative Aspects of Programming Languages (QAPL) 2005
Veranstaltungsort:	Edinburgh, UK
Veranstaltungsdatum:	April 2005
Ort der Veröffentlichung:	Amsterdam [u.a.]
Verlag:	Elsevier
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.

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

Google Scholar: Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila

Aufrufe im letzten Jahr

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

Eintrag anzeigen