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

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

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)