Symbolic modular deadlock analysis Journal Article uri icon

Overview

publication date

  • December 1, 2011

Full Author List

  • Deshmukh JV; Emerson EA; Sankaranarayanan S

Other Profiles

Additional Document Info

start page

  • 325

end page

  • 362

volume

  • 18

issue

  • 3-4