Symbolic State Exploration Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• December 1, 2001

has restriction

• gold

Date in CU Experts

• April 17, 2014 2:12 AM

Full Author List

• Somenzi F

author count

• 1

published in

• Electronic Notes in Theoretical Computer Science  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 1571-0661

Digital Object Identifier (DOI)

• https://doi.org/10.1016/s1571-0661(04)80668-6

Additional Document Info

start page

• 46

end page

• 56

volume

• 23

issue

• 2