Jason Crampton, Gregory Z. Gutin, Diptapriyo Majumdar. Bounded and Approximate Strong Satisfiability in Workflows. In Florian Kerschbaum, Atefeh Mashatan, Jianwei Niu 0001, Adam J. Lee, editors, Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019, Toronto, ON, Canada, June 03-06, 2019. pages 179-184, ACM, 2019. [doi]
Abstract is missing.