Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Advances in Probabilistic Model Checking."
Treffer 4 von 4
|
|
| Link zu diesem Datensatz | https://d-nb.info/1132335205 |
| Titel | Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata / by 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 (Sonstige) Chrszon, Philipp (Sonstige) Daum, Marcus (Sonstige) Dubslaff, Clemens (Sonstige) Klüppelholz, Sascha (Sonstige) Märcker, Steffen (Sonstige) Müller, David (Sonstige) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:1111-201705191701 DOI: 10.1007/s10009-017-0456-3 |
| URL | http://dx.doi.org/10.1007/s10009-017-0456-3 |
| Zeitliche Einordnung | Erscheinungsdatum: 2017 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: International journal on software tools for technology transfer (6.5.2017: 1-16) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 4 von 4
Administration
