Model Checking of Mixed-Paradigm Process Models in a Discovery Context - Finding the Fit Between Declarative and Procedural.

Johannes De Smedt, Claudio Di Ciccio, Jan Vanthienen, Jan Mendling

Browse the full BPM paper archive.