Hauptmenü
  • Autor
    • Greimel, Karin
  • TitelLinear temporal logic - in theory and industry
  • Datei
  • Erscheinungsjahr2016
  • Beschreibungxv, 132 Seiten
  • BeschreibungDiagramme
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar