Domain Equations for Probabilistic Processes

DOI:	https://doi.org/10.1017/S0960129599002984
URL:	https://www.cambridge.org/core/journals/mathematic...
Weitere URL:	https://dl.acm.org/citation.cfm?id=966923
Dokumenttyp:	Zeitschriftenartikel
Erscheinungsjahr:	2000
Titel einer Zeitschrift oder einer Reihe:	Mathematical Structures in Computer Science
Band/Volume:	10
Heft/Issue:	6
Seitenbereich:	665-717
Ort der Veröffentlichung:	Cambridge
Verlag:	Cambridge Univ. Press
ISSN:	0960-1295 , 1469-8072
Verwandte URLs:	https://www.researchgate.net/publication...
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: Baier, Christel ; Kwiatkowska, Marta

Google Scholar: Baier, Christel ; Kwiatkowska, Marta

Aufrufe im letzten Jahr

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

Eintrag anzeigen