Minimal assignments for bounded model checking Journal Article uri icon

Overview

publication date

  • January 1, 2004

Full Author List

  • Ravi K; Somenzi F

Additional Document Info

start page

  • 31

end page

  • 45

volume

  • 2988