Hauptmenü
  • Autor
    • Gödl, Thomas
  • TitelStatic analysis of extended symbolic transition systems
  • Datei
  • Erscheinungsjahr2015
  • BeschreibungXIX, 113 S.
  • Beschreibunggraph. Darst.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar