Monografie

Alternative Automata-based Approaches to Probabilistic Model Checking

Sprache
Englisch
Identifier
1226942644

Thema
Robots; Hochschulschrift

Beteiligte Personen und Organisationen
Müller, David
Baier, Christel
Esparza, Javier

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

Datenpartner

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

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)