Petri net analysis using invariant generation Conference Proceeding uri icon

Overview

publication date

  • June 29, 2003

Full Author List

  • Sankaranarayanan S; Sipma H; Manna Z

Additional Document Info

start page

  • 682

end page

  • 701

volume

  • 2772