%0 Journal Article %1 journals/corr/abs-1906-07811 %A Calvanese, Diego %A Ghilardi, Silvio %A Gianola, Alessandro %A Montali, Marco %A Rivkin, Andrey %D 2019 %J CoRR %K dblp %T Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-07811 %V abs/1906.07811

@article{journals/corr/abs-1906-07811, added-at = {2019-06-24T00:00:00.000+0200}, author = {Calvanese, Diego and Ghilardi, Silvio and Gianola, Alessandro and Montali, Marco and Rivkin, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/247cf97530ed1254f3abf34c73ac305f0/dblp}, ee = {http://arxiv.org/abs/1906.07811}, interhash = {6fd68ac7c8a76604f2bd77ac3666a1b5}, intrahash = {47cf97530ed1254f3abf34c73ac305f0}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-06-25T11:38:40.000+0200}, title = {Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-07811}, volume = {abs/1906.07811}, year = 2019 }