High-level Counterexamples for Probabilistic Automata

Sprache
Englisch
Identifier
1189067560

Beteiligte Personen und Organisationen
Wimmer, Ralf
Jansen, Nils
Ábrahám, Erika
Katoen, Joost-Pieter

DOI
10.18154/RWTH-2015-05968
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.

Beteiligte

Ähnliche Objekte (12)