Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Advances in Probabilistic Model Checking."
Treffer 3 von 4
|
|
| Link zu diesem Datensatz | https://d-nb.info/1253295093 |
| Titel | Advances in Symbolic Probabilistic Model Checking with PRISM / Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller |
| Person(en) |
Klein, Joachim (Verfasser) Baier, Christel (Verfasser) Chrszon, Philipp (Verfasser) Daum, Marcus (Verfasser) Dubslaff, Clemens (Verfasser) Klüppelholz, Sascha (Verfasser) Märcker, Steffen (Verfasser) Müller, David (Verfasser) |
| Verlag | Dresden : Technische Universität Dresden |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:bsz:14-qucosa2-742677 |
| URL | (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen |
In: TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Eindhoven, Niederlande, 02. – 08.04.16 In: Tools and Algorithms for the Construction and Analysis of Systems, Herausgeber: Marsha Chechik, Herausgeber: Jean-François Raskin, Erscheinungsort: Berlin, Verlag: Springer, Erscheinungsjahr: 2016, Titel Schriftenreihe: Lecture Notes in Computer Science, Bandnummer Schriftenreihe: 9636, Seiten: 349-366, ISBN: 978-3-662-49673-2 |
| DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 3 von 4
Administration
