|
|||||
|
|
Workflow Model Verification Based on Matrix Transformation |
|
| Authors: | DUN Haiqiang ZHAO Wen ZHANG Shikun WANG Lifu |
| Affiliation: | [1]School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China [2]National Engineering Research Center for Software Engineering, Peking University, Beijing 100871, China [3]Key Laboratory of High Confidence Software Technologies of Ministry of Education, Peking University, Beijing 100871, China |
| Abstract: | |
| Keywords: | Workflow model Workflow verification Matrix transformation Graph reduction Synchronet |
| 本文献已被 维普 等数据库收录！ | |