Proving more properties with bounded model checking Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 2004

Full Author List

• Awedh M; Somenzi F

published in

• Lecture Notes in Artificial Intelligence  Journal

Additional Document Info

start page

• 96

end page

• 108

volume

• 3114