Author:
Regis Germán,Ricci Nicolás,Aguirre Nazareno M.,Maibaum Tom
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14, 5–51 (2003)
2. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30, 245–275 (2005)
3. van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333–363 (2011)
4. van Breugel, F., Koshkina, M.: Models and Verification of BPEL (2006),
http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (2000)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献