Hauptmenü
  • Autor
    • Könighofer, Robert
  • TitelSatisfiability-based methods for controller synthesis
  • Datei
  • Erscheinungsjahr2015
  • Beschreibungxix, 183 Seiten
  • BeschreibungIllustrationen, Diagramme
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar