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