Hauptmenü
  • Autor
    • Quaritsch, Thomas
  • TitelDiagnosis of LTL specifications using consistency-oriented model-based reasoning
  • Volltext
  • Erscheinungsjahr2014
  • BeschreibungXV, 219 S.
  • Beschreibungzahlr. graph. Darst.
  • ZugriffsrechteAuch auzserhalb des TU-Netzes nutzbar