Compositional SCC analysis for language emptiness

C. Wang, Roderick Paul Bloem, G.D. Hachtel, K. Ravi, F. Somenzi

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)5-36
JournalFormal methods in system design
Volume28
Issue number1
DOIs
Publication statusPublished - 2006

Treatment code (Nähere Zuordnung)

  • Application

Cite this