> Detailanzeige

Klein, Joachim [VerfasserIn]; Baier, Christel [VerfasserIn]; Chrszon, Philipp [VerfasserIn]; Daum, Marcus [VerfasserIn]; Dubslaff, Clemens [VerfasserIn]; Klüppelholz, Sascha [VerfasserIn]; Märcker, Steffen [VerfasserIn]; Müller, David [VerfasserIn]

Advances in Symbolic Probabilistic Model Checking with PRISM

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: Advances in Symbolic Probabilistic Model Checking with PRISM
  • Beteiligte: Klein, Joachim [VerfasserIn]; Baier, Christel [VerfasserIn]; Chrszon, Philipp [VerfasserIn]; Daum, Marcus [VerfasserIn]; Dubslaff, Clemens [VerfasserIn]; Klüppelholz, Sascha [VerfasserIn]; Märcker, Steffen [VerfasserIn]; Müller, David [VerfasserIn]
  • Erschienen: Dresden: Technische Universität Dresden, 2021
  • Umfang: 1 Online-Ressource
  • Sprache: Englisch
  • Identifikator:
  • Entstehung:
  • 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
  • Zugangsstatus: Freier Zugang