Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Verifying Finite State Machines in Probabilistic Environments
Titel Konferenzpublikation:
Proceedings of 9th ITG/GI/GMM Workshop Methoden zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Konferenztitel:
ITG/GI/GMM-Workshop (9., 2006, Dresden)
Tagungsort:
Dresden
Jahr der Konferenz:
2006
Jahr:
2006
Seiten von - bis:
248-254
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX