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/aaai/MasellisFGMT17
%A Masellis, Riccardo De
%A Francescomarino, Chiara Di
%A Ghidini, Chiara
%A Montali, Marco
%A Tessaris, Sergio
%B AAAI
%D 2017
%E Singh, Satinder P.
%E Markovitch, Shaul
%I AAAI Press
%K
%P 1091-1099
%T Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.
%U http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#MasellisFGMT17
@inproceedings{conf/aaai/MasellisFGMT17,
added-at = {2023-12-12T20:29:31.000+0100},
author = {Masellis, Riccardo De and Francescomarino, Chiara Di and Ghidini, Chiara and Montali, Marco and Tessaris, Sergio},
biburl = {https://www.bibsonomy.org/bibtex/2c1fb790d7d0b9b73596904bf3be48c8b/admin},
booktitle = {AAAI},
crossref = {conf/aaai/2017},
editor = {Singh, Satinder P. and Markovitch, Shaul},
ee = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14627},
interhash = {2ff1310618ef637ad1f6b6cc2866e235},
intrahash = {c1fb790d7d0b9b73596904bf3be48c8b},
keywords = {},
pages = {1091-1099},
publisher = {AAAI Press},
timestamp = {2023-12-12T20:29:31.000+0100},
title = {Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.},
url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#MasellisFGMT17},
year = 2017
}