> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele Beteiligte: Wimmer, Ralf [Verfasser:in] Erschienen: Online-Ausg.:, 2011 Sprache: Deutsch Identifikator: Schlagwörter: Bisimulation ; Markov-Kette ; Binäres Entscheidungsdiagramm ; OBDD ; Gegenbeispiel ; Bounded Model Checking ; Hochschulschrift Art der Reproduktion: Online-Ausg.: Reproduktionsnotiz: [Online-Ausg.] Entstehung: Hochschulschrift: Freiburg (Breisgau), Univ., Diss., 2011 Anmerkungen: Zugangsstatus: Freier Zugang