Hauptmenü
  • Autor
    • Außerlechner, Simon
  • TitelParameterized synthesis of guarded systems
  • Datei
  • Erscheinungsjahr2015
  • BeschreibungX, 80 S.
  • Beschreibunggraph. Darst.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar