Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
diglib / Dissertationen / Linear temporal logic - in theory and industry
  • Autor
    • Greimel, Karin
  • TitelLinear temporal logic - in theory and industry
  • Datei
  • Erscheinungsjahr2016
  • Beschreibungxv, 132 Seiten
  • BeschreibungDiagramme
  • 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