> Detailanzeige

Hensel, Hans Christian [VerfasserIn] ; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft]; Parker, David [Sonstige Person, Familie und Körperschaft]

˜Theœ probabilistic model checker Storm : symbolic methods for probabilistic model checking

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book
  • Titel: ˜Theœ probabilistic model checker Storm : symbolic methods for probabilistic model checking
  • Beteiligte: Hensel, Hans Christian [Verfasser]; Katoen, Joost-Pieter [Gutachter]; Parker, David [Gutachter]
  • Erschienen: Aachen: Universitätsbibliothek RWTH Aachen, 2018
  • Erschienen in: Aachener Informatik-Berichte ; 2018-06
  • Umfang: Online-Ressource
  • Sprache: Englisch
  • DOI: 10.18154/RWTH-2018-231803
  • Identifikator:
  • Entstehung:
  • Hochschulschrift: Dissertation, Aachen, RWTH Aachen University, 2018
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang