Author:
Hu Qiang,Du YuYue,Yu ShuXia
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference42 articles.
1. Service interaction: patterns, formalization, and analysis;van der Aalst,2009
2. Verification of workflow nets;van der Aalst;Lecture Notes in Computer Science,1997
3. Workflow verification: finding control-flow errors using Petri-net-based techniques;van der Aalst;In Business Process Management: Models, Lecture Notes in Computer Science,2000
4. on automating web services discovery;Benatallah;International Journal on Very Large DataBases,2005
5. Automatic services composition based on behavioral descriptions;Berardi;International Journal of Cooperative Information Systems,2005
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献