Author:
Polyvyanyy Artem,Weidlich Matthias,Conforti Raffaele,La Rosa Marcello,ter Hofstede Arthur H. M.
Publisher
Springer International Publishing
Reference35 articles.
1. Lecture Notes in Computer Science;S. Winkler,2007
2. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)
3. ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N. (eds.): Modern Business Process Automation — YAWL and its Support Environment. Springer (2010)
4. Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: Towards a classification. TCS 170(1-2), 297–348 (1996)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献