%0 Conference Paper %1 conf/bpm/SmedtCVM16 %A Smedt, Johannes De %A Ciccio, Claudio Di %A Vanthienen, Jan %A Mendling, Jan %B Business Process Management Workshops %D 2016 %E Dumas, Marlon %E Fantinato, Marcelo %K dblp %P 74-86 %T Model Checking of Mixed-Paradigm Process Models in a Discovery Context - Finding the Fit Between Declarative and Procedural. %U http://dblp.uni-trier.de/db/conf/bpm/bpmw2016.html#SmedtCVM16 %V 281 %@ 978-3-319-58457-7

@inproceedings{conf/bpm/SmedtCVM16, added-at = {2020-09-05T00:00:00.000+0200}, author = {Smedt, Johannes De and Ciccio, Claudio Di and Vanthienen, Jan and Mendling, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2c1c1432308e2d420d5f12a40aab0630d/dblp}, booktitle = {Business Process Management Workshops}, crossref = {conf/bpm/2016w}, editor = {Dumas, Marlon and Fantinato, Marcelo}, ee = {https://www.wikidata.org/entity/Q58476564}, interhash = {7398c3b9d9451636ff07cb003a4764c9}, intrahash = {c1c1432308e2d420d5f12a40aab0630d}, isbn = {978-3-319-58457-7}, keywords = {dblp}, pages = {74-86}, series = {Lecture Notes in Business Information Processing}, timestamp = {2020-09-09T14:21:11.000+0200}, title = {Model Checking of Mixed-Paradigm Process Models in a Discovery Context - Finding the Fit Between Declarative and Procedural.}, url = {http://dblp.uni-trier.de/db/conf/bpm/bpmw2016.html#SmedtCVM16}, volume = 281, year = 2016 }