![]() | ![]() |
| 2008 | ||
|---|---|---|
| 1 | Shuailiang Ma, Li Zhang, Jimei He: Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus. SERA 2008: 93-101 | |
| 1 | Jimei He | [1] |
| 2 | Li Zhang | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page