Hauptmenü
  • Autor
    • Hofferek, Georg
  • TitelController synthesis with uninterpreted functions
  • Datei
  • Erscheinungsjahr2014
  • BeschreibungXXVI, 137 S.
  • Beschreibunggraph. Darst., Kt.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar