Proving more properties with bounded model checking Journal Article uri icon

Overview

publication date

  • January 1, 2004

Full Author List

  • Awedh M; Somenzi F

Additional Document Info

start page

  • 96

end page

  • 108

volume

  • 3114