Rule Randomization for Propositional Logic-Based Workflow Verification
Workflow verification has been a well studied research topic during the past few years. Theorem proof based approaches to workflow verification become popular due to several advantages including being based on formal characterization with rigorous and non-ambiguous inference mechanisms. However, a c...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2008
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/416 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|