Don't Know in Probabilistic Systems

Wolf, Verena ; Fecher, Harald ; Leucker, Martin

URL:	http://dx.doi.org/10.1007/11691617_5
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	2006
Buchtitel:	Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings
Titel einer Zeitschrift oder einer Reihe:	Lecture Notes in Computer Science
Band/Volume:	3925
Seitenbereich:	71-88
Herausgeber:	Valmari, Antti
Ort der Veröffentlichung:	Berlin [u.a.]
Verlag:	Springer
ISBN:	978-3-540-33102-5
ISSN:	0302-9743 , 1611-3349
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 ; Fecher, Harald ; Leucker, Martin

Google Scholar: Wolf, Verena ; Fecher, Harald ; Leucker, Martin

Aufrufe im letzten Jahr

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

Eintrag anzeigen