Media type: E-Book; Thesis Title: Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele Contributor: Wimmer, Ralf [Author] Published: Online-Ausg.:: 2011 Language: German Identifier: Keywords: Bisimulation ; Markov-Kette ; Binäres Entscheidungsdiagramm ; OBDD ; Gegenbeispiel ; Bounded Model Checking ; Hochschulschrift Type of reproduction: Online-Ausg.: Reproduction note: [Online-Ausg.] Origination: University thesis: Freiburg (Breisgau), Univ., Diss., 2011 Footnote: Access State: Open Access