Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.
I. Kuhlmann, C. Corea, and J. Grant. Business Process Management Workshops, volume 492 of Lecture Notes in Business Information Processing, page 396-408. Springer, (2023)
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/KuhlmannCG23
%A Kuhlmann, Isabelle
%A Corea, Carl
%A Grant, John
%B Business Process Management Workshops
%D 2023
%E Weerdt, Jochen De
%E Pufahl, Luise
%I Springer
%K dblp
%P 396-408
%T Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.
%U http://dblp.uni-trier.de/db/conf/bpm/bpmw2023.html#KuhlmannCG23
%V 492
%@ 978-3-031-50974-2
@inproceedings{conf/bpm/KuhlmannCG23,
added-at = {2024-02-10T00:00:00.000+0100},
author = {Kuhlmann, Isabelle and Corea, Carl and Grant, John},
biburl = {https://www.bibsonomy.org/bibtex/22f1880e37f583c2cc056c21979ca5cf4/dblp},
booktitle = {Business Process Management Workshops},
crossref = {conf/bpm/2023w},
editor = {Weerdt, Jochen De and Pufahl, Luise},
ee = {https://doi.org/10.1007/978-3-031-50974-2_30},
interhash = {0a8c91ba9e3068a459ab8a723d240a51},
intrahash = {2f1880e37f583c2cc056c21979ca5cf4},
isbn = {978-3-031-50974-2},
keywords = {dblp},
pages = {396-408},
publisher = {Springer},
series = {Lecture Notes in Business Information Processing},
timestamp = {2024-04-09T16:57:02.000+0200},
title = {Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.},
url = {http://dblp.uni-trier.de/db/conf/bpm/bpmw2023.html#KuhlmannCG23},
volume = 492,
year = 2023
}