Johannes De Smedt, Claudio Di Ciccio, Jan Vanthienen, Jan Mendling. Model Checking of Mixed-Paradigm Process Models in a Discovery Context - Finding the Fit Between Declarative and Procedural. In Marlon Dumas, Marcelo Fantinato, editors, Business Process Management Workshops - BPM 2016 International Workshops, Rio de Janeiro, Brazil, September 19, 2016, Revised Papers. Volume 281 of Lecture Notes in Business Information Processing, pages 74-86, 2016. [doi]
Abstract is missing.