Author:
Wang Zhao-xia,Wang Jian-min,Zhu Xiao-chen,Wen Li-jie
Publisher
Zhejiang University Press
Reference46 articles.
1. Clarke, L.A., 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng., 2(3):215–222. [doi:10.1109/TSE.1976.233817]
2. Curran, T., Keller, G., 1998. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice Hall PTR, Upper Saddle River, NJ, USA.
3. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K., 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst., 13(4):451–490. [doi:10.1145/115372.115320]
4. Dehnert, J., van der Aalst, W.M.P., 2004. Bridging the gap between business models and workflow specifications. Int. J. Cooper. Inf. Syst., 13(3):289–332. [doi:10.1142/S0218843004000973]
5. Dutertre, B., de Moura, L.M., 2006a. A Fast Linear-Arithmetic Solver for DPLL(T). 18th Int. Conf. on Computer Aided Verification, p.81–94. [doi:10.1007/11817963_11]
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献