Monografie
New results on probabilistic verification : automata, logic and satisfiability
- Sprache
-
Englisch
- Identifier
-
119418426X
- Thema
-
Logic; Robots
- Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-2019-05211
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Chakraborty, Souymodip
- Katoen, Joost-Pieter
- Zhang, Lijun