Compositional SCC analysis for language emptiness Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 2006

has restriction

• closed

Date in CU Experts

• September 6, 2013 12:30 PM

Full Author List

• Wang C; Bloem R; Hachtel G; Ravi K; Somenzi F

author count

• 5

citation count

• 15

published in

• Formal Methods in System Design  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0925-9856

Electronic International Standard Serial Number (EISSN)

• 1572-8102

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10703-006-4617-3

Additional Document Info

start page

• 5

end page

• 36

volume

• 28

issue

• 1