Hauptmenü
  • Autor
    • Tappler, Martin
  • TitelSymbolic input output conformance checking of action system models
  • Datei
  • Erscheinungsjahr2015
  • Beschreibungx, 135 Blätter
  • BeschreibungDiagramme
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar