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