Hauptmenü
  • Autor
    • Fruhmann, Sandra
  • TitelBounded assume-guarantee synthesis
  • Datei
  • Erscheinungsjahr2016
  • Beschreibungxiv, 63 Blätter
  • BeschreibungDiagramme
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar