Scheduled Maintenance: The repository will be unavailable on 08.05 from 09:00 a.m. to 1:00 p.m. due to planned maintenance. We apologize for any inconvenience.

Veröffentlicht im 2014 | Version v1

Dissertation Offen

Diagnosis of LTL specifications using consistency-oriented model-based reasoning

Quaritsch, Thomas (aut)

25000_5677_quaritsch_thomas_2014.pdf

Dateien (1.6 MB)

Name	Größe
25000_5677_quaritsch_thomas_2014.pdf md5:3a5ed7c6efb66c1e1838689a01424df1	1.6 MB	Vorschau Herunterladen

Informationen zum Eintrag

Erstellt: 11. August 2022 | Bearbeitet: 27. Oktober 2023

Zum Seitenbeginn

Name: Quaritsch, Thomas

Titel: Diagnosis of LTL specifications using consistency-oriented model-based reasoning

Ressource-Typ: Dissertation

Veröffentlicht: 2014

Sprache: eng