Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
diglib / Dissertationen / Diagnosis of LTL specifications using consistency-oriented model-based reasoning
  • Autor
    • Quaritsch, Thomas
  • TitelDiagnosis of LTL specifications using consistency-oriented model-based reasoning
  • Datei
  • Erscheinungsjahr2014
  • BeschreibungXV, 219 S.
  • Beschreibungzahlr. graph. Darst.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar

Kontakt

Technische Universität Graz
Bibliothek und Archiv
Zeitschriftenmanagement, Open Access und Digitalisierung
Technikerstraße 4
A-8010 Graz
Tel: +43 (316) 873 - 6677
Fax: +43 (0) 316 - 873 - 6674

Related Links

TU Graz

Universitätsbibliothek

Extern

seals Portal
anno Projekt Europeana

diglib.tugraz.at

Impressum