Hauptmenü
  • Autor
    • Decker, Martin
  • TitelSimulation of deterministic and parallel execution of extended symbolic transition systems
  • Datei
  • Erscheinungsjahr2013
  • BeschreibungXI, 91 S.
  • Beschreibunggraph. Darst.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar