%0 Journal Article %1 journals/jss/CorradiniFPRTV21 %A Corradini, Flavio %A Fornari, Fabrizio %A Polini, Andrea %A Re, Barbara %A Tiezzi, Francesco %A Vandin, Andrea %D 2021 %J J. Syst. Softw. %K dblp %P 111007 %T A formal approach for the analysis of BPMN collaboration models. %U http://dblp.uni-trier.de/db/journals/jss/jss180.html#CorradiniFPRTV21 %V 180

@article{journals/jss/CorradiniFPRTV21, added-at = {2022-01-03T00: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/24380b7ef084e10704fdb7ab1f4bda5f7/dblp}, ee = {https://doi.org/10.1016/j.jss.2021.111007}, interhash = {bec6d773a61c3a7f1dcfd7e2b70dcf08}, intrahash = {4380b7ef084e10704fdb7ab1f4bda5f7}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = 111007, timestamp = {2024-04-09T03:36:16.000+0200}, title = {A formal approach for the analysis of BPMN collaboration models.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss180.html#CorradiniFPRTV21}, volume = 180, year = 2021 }