Automatic Verification of Liveness Properties of Randomized Systems

URL:	http://dx.doi.org/10.1145/259380.259527
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	1997
Buchtitel:	Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing
Titel einer Zeitschrift oder einer Reihe:	ACM Press
Seitenbereich:	295
Veranstaltungsort:	Santa Barbara, Calif.
Veranstaltungsdatum:	August 21 - 24, 1997
Ort der Veröffentlichung:	New York, NY
Verlag:	ACM Press
ISBN:	0-89791-952-1
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