Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification

  • Ligia Maria Soares Passos, Stephane Julia
  • November 2013, Institute of Electrical & Electronics Engineers (IEEE)
  • DOI: 10.1109/ictai.2013.104

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1109/ictai.2013.104