%0 Conference Paper %1 conf/kbse/CorradiniFP0TV17 %A Corradini, Flavio %A Fornari, Fabrizio %A Polini, Andrea %A Re, Barbara %A Tiezzi, Francesco %A Vandin, Andrea %B ASE %D 2017 %E Rosu, Grigore %E Penta, Massimiliano Di %E Nguyen, Tien N. %I IEEE Computer Society %K dblp %P 217-228 %T BProVe: a formal verification framework for business process models. %U http://dblp.uni-trier.de/db/conf/kbse/ase2017.html#CorradiniFP0TV17 %@ 978-1-5386-2684-9

@inproceedings{conf/kbse/CorradiniFP0TV17, added-at = {2023-03-24T00:00:00.000+0100}, author = {Corradini, Flavio and Fornari, Fabrizio and Polini, Andrea and Re, Barbara and Tiezzi, Francesco and Vandin, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/25ae859f3521f86d040bfef3f579091a1/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2017}, editor = {Rosu, Grigore and Penta, Massimiliano Di and Nguyen, Tien N.}, ee = {http://dl.acm.org/citation.cfm?id=3155593}, interhash = {d81fbc0f1e79ea8190ddc7cc1c872ba7}, intrahash = {5ae859f3521f86d040bfef3f579091a1}, isbn = {978-1-5386-2684-9}, keywords = {dblp}, pages = {217-228}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:50:12.000+0200}, title = {BProVe: a formal verification framework for business process models.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2017.html#CorradiniFP0TV17}, year = 2017 }