Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation

Baier, Christel

Dokumenttyp:	Buchkapitel
Erscheinungsjahr:	1996
Buchtitel:	Computer aided verification : 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings
Seitenbereich:	38-49
Herausgeber:	Alur, Rajeev
Ort der Veröffentlichung:	Berlin [u.a.]
Verlag:	Springer
ISBN:	3-540-61474-5
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

Google Scholar: Baier, Christel

Aufrufe im letzten Jahr

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

Eintrag anzeigen