Compositional SCC analysis for language emptiness

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

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)5-36
FachzeitschriftFormal Methods in System Design
Jahrgang28
Ausgabenummer1
DOIs
PublikationsstatusVeröffentlicht - 2006

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren