Author:
Mace John C.,Morisset Charles,van Moorsel Aad
Publisher
Springer International Publishing
Reference11 articles.
1. Crampton, J., Gutin, G., Watrigant, R.: An approach to parameterized resiliency problems using integer linear programming. CoRR, abs/1605.08738 (2016)
2. dos Santos, D.R., Ponta, S.E., Ranise, S.: Modular synthesis of enforcement mechanisms for the workflow satisfiability problem: scalability and reusability. In: SACMAT 2016 (2016, to appear)
3. Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 119–153 (1995)
4. Howard, R.A.: Dynamic Programming and Markov Processes. MIT Press, Cambridge (1960)
5. Lecture Notes in Computer Science;M Kwiatkowska,2011
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献