Inproceedings,

Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.

, and .
SMC, page 2843-2847. IEEE, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews