%0 Journal Article %1 journals/jss/CorradiniMPRRT20 %A Corradini, Flavio %A Morichetta, Andrea %A Polini, Andrea %A Re, Barbara %A Rossi, Lorenzo %A Tiezzi, Francesco %D 2020 %J J. Syst. Softw. %K BPMN %P 110594 %T Correctness checking for BPMN collaborations with sub-processes. %U http://dblp.uni-trier.de/db/journals/jss/jss166.html#CorradiniMPRRT20 %V 166

@article{journals/jss/CorradiniMPRRT20, added-at = {2024-03-17T12:40:41.000+0100}, author = {Corradini, Flavio and Morichetta, Andrea and Polini, Andrea and Re, Barbara and Rossi, Lorenzo and Tiezzi, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2f342e33a49b82d07fb778f0696252d6e/stefan.strecker}, ee = {https://doi.org/10.1016/j.jss.2020.110594}, interhash = {3b05e4ea460bc85c7c84c8c83403f4a7}, intrahash = {f342e33a49b82d07fb778f0696252d6e}, journal = {J. Syst. Softw.}, keywords = {BPMN}, pages = 110594, timestamp = {2024-03-17T12:40:41.000+0100}, title = {Correctness checking for BPMN collaborations with sub-processes.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss166.html#CorradiniMPRRT20}, volume = 166, year = 2020 }