Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Advances in Probabilistic Model Checking."
Treffer 2 von 4
|
|
| Link zu diesem Datensatz | https://d-nb.info/1253295034 |
| Titel | Advances in 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-742658 |
| URL | (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: International Journal on Software Tools for Technology Transfer, Erscheinungsjahr: 2018, Jahrgang: 20, Heft: 2, Seiten: 179-194, E-ISSN: 1433-2787 |
| DDC-Notation | 004.65 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 2 von 4
Administration
