> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Three-valued abstraction for stochastic systems Beteiligte: Klink, Daniel [Verfasser:in] Erschienen: München: Verlag Dr. Hut, 2010 Online-Ausg.:: [Aachen]: [Bibliothek der Techn. Hochsch.], 2010 Ausgabe: 1. Aufl. Sprache: Englisch ISBN: 9783868534085 Identifikator: RVK-Notation: ST 130 : Allgemeines Schlagwörter: Abstraktion ; Model Checking ; Markov-Kette mit stetiger Zeit ; Verteiltes System ; Intervallwahrscheinlichkeit ; Prioritätswarteschlange ; Systembiologie ; Erlang-Verteilung ; Hochschulschrift Art der Reproduktion: Online-Ausg.: Hersteller der Reproduktion: [Aachen]: [Bibliothek der Techn. Hochsch.], 2010 Reproduktionsnotiz: [Online-Ausg.] Entstehung: Hochschulschrift: Zugl.: Aachen, Techn. Hochsch., Diss., 2010 Anmerkungen: Zugangsstatus: Freier Zugang