%0 Journal Article %1 journals/jss/StachtiariK18 %A Stachtiari, Emmanouela %A Katsaros, Panagiotis %D 2018 %J J. Syst. Softw. %K dblp %P 217-238 %T Compositional execution semantics for business process verification. %U http://dblp.uni-trier.de/db/journals/jss/jss137.html#StachtiariK18 %V 137

@article{journals/jss/StachtiariK18, added-at = {2020-02-24T00:00:00.000+0100}, author = {Stachtiari, Emmanouela and Katsaros, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/2f47a4597db258aec99437f7b732eb0d3/dblp}, ee = {https://doi.org/10.1016/j.jss.2017.11.003}, interhash = {1a06b6ee21dce0dfdb484d646fab2dfd}, intrahash = {f47a4597db258aec99437f7b732eb0d3}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = {217-238}, timestamp = {2020-02-25T13:43:36.000+0100}, title = {Compositional execution semantics for business process verification.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss137.html#StachtiariK18}, volume = 137, year = 2018 }