Search Techniques and Automata for Symbolic Model Checking

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2001

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this