Compositional SCC analysis for language emptiness

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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	5-36
Journal	Formal Methods in System Design
Volume	28
Issue number	1
DOIs	https://doi.org/10.1007/s10703-006-4617-3
Publication status	Published - 2006

Treatment code (Nähere Zuordnung)

@article{3bcabf6515fb4a399879998859ddf167,

title = "Compositional SCC analysis for language emptiness",

author = "C. Wang and Bloem, {Roderick Paul} and G.D. Hachtel and K. Ravi and F. Somenzi",

year = "2006",

doi = "10.1007/s10703-006-4617-3",

language = "English",

volume = "28",

pages = "5--36",

journal = "Formal Methods in System Design",

issn = "1572-8102",

publisher = "Springer Science+Business Media B.V ",

number = "1",

}

TY - JOUR

T1 - Compositional SCC analysis for language emptiness

AU - Wang, C.

AU - Bloem, Roderick Paul

AU - Hachtel, G.D.

AU - Ravi, K.

AU - Somenzi, F.

PY - 2006

Y1 - 2006

U2 - 10.1007/s10703-006-4617-3

DO - 10.1007/s10703-006-4617-3

M3 - Article

SN - 1572-8102

VL - 28

SP - 5

EP - 36

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -