Symbolic State Exploration Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• December 1, 2001

Full Author List

• Somenzi F

published in

• Electronic Notes in Theoretical Computer Science  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1016/s1571-0661(04)80668-6

Additional Document Info

start page

• 46

end page

• 56

volume

• 23

issue

• 2