Monografie

Alternative automata-based approaches to probabilistic model checking

Sprache
Englisch
Umfang
v, 152 Seiten
Identifier
1203318545

Thema
Hochschulschrift

Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
Letzte Aktualisierung
16.08.2023, 18:36 MESZ

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)