On complementing nondeterministic Buchi automata Journal Article uri icon

Overview

publication date

  • January 1, 2003

Full Author List

  • Gurumurthy S; Kupferman O; Somenzi F; Vardi MY

Additional Document Info

start page

  • 96

end page

  • 110

volume

  • 2860