%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 %E Markovitch, Shaul %I AAAI Press %K dblp %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-09-04T00:00:00.000+0200}, author = {Masellis, Riccardo De and Francescomarino, Chiara Di and Ghidini, Chiara and Montali, Marco and Tessaris, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/2688673d9bf7ec86c58e823ebf19dce29/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2017}, editor = {Singh, Satinder and Markovitch, Shaul}, ee = {https://doi.org/10.1609/aaai.v31i1.10688}, interhash = {2ff1310618ef637ad1f6b6cc2866e235}, intrahash = {688673d9bf7ec86c58e823ebf19dce29}, keywords = {dblp}, pages = {1091-1099}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:03:54.000+0200}, 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 }