Advances in probabilistic model checking with PRISM

Sprache
Englisch
Identifier
1253295034

Beteiligte Personen und Organisationen
Klein, Joachim
Baier, Christel
Chrszon, Philipp
Daum, Marcus
Dubslaff, Clemens
Klüppelholz, Sascha
Märcker, Steffen
Müller, David

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:52 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

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

Ähnliche Objekte (12)