> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Counterexamples for Timed Probabilistic Reachability Beteiligte: Aljazzar, Husain [Sonstige Person, Familie und Körperschaft]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft]; Leue, Stefan [Sonstige Person, Familie und Körperschaft] Erschienen: Konstanz: Bibliothek der Universität Konstanz, 2005 Umfang: Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: Aus: Lecture notes in computer science, No. 3829 (2005) , pp. 177-195 Zugangsstatus: Freier Zugang