Towards a Formal Verification Approach for Business Process Coordination
| Source: | ICWS |
| Year: | 2010 |
| Pages: | 361-368 |
| Authors: | Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan |
| Download: | http://doi.ieeecomputersociety.org/10.1109/ICWS.2010.100 |
| Other: | BibTeX PubZone |
from DBLP and Google Scholar
Loading Google Search Results...
from Google Web Search