Model Checking of Mixed-Paradigm Process Models in a Discovery Context - Finding the Fit Between Declarative and Procedural.
J. Smedt, C. Ciccio, J. Vanthienen, and J. Mendling. Business Process Management Workshops, volume 281 of Lecture Notes in Business Information Processing, page 74-86. (2016)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-13T01:35:02.000+0100},
author = {Smedt, Johannes De and Ciccio, Claudio Di and Vanthienen, Jan and Mendling, Jan},
biburl = {https://www.bibsonomy.org/bibtex/2c1c1432308e2d420d5f12a40aab0630d/admin},
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 = {},
pages = {74-86},
series = {Lecture Notes in Business Information Processing},
timestamp = {2023-12-13T01:35:02.000+0100},
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
}