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/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
}