Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Verifying Finite State Machines in Probabilistic Environments
Title of conference publication:
Proceedings of 9th ITG/GI/GMM Workshop Methoden zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Conference title:
ITG/GI/GMM-Workshop (9., 2006, Dresden)
Venue:
Dresden
Year of conference:
2006
Year:
2006
Pages from - to:
248-254
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Nein / No
BibTeX