%0 Journal Article %1 journals/scp/YeungLWD07 %A Yeung, Wing Lok %A Leung, Karl R. P. H. %A Wang, Ji %A Dong, Wei %D 2007 %J Sci. Comput. Program. %K dblp %N 1 %P 14-29 %T Modelling and model checking suspendible business processes via statechart diagrams and CSP. %U http://dblp.uni-trier.de/db/journals/scp/scp65.html#YeungLWD07 %V 65

@article{journals/scp/YeungLWD07, added-at = {2021-02-17T00:00:00.000+0100}, author = {Yeung, Wing Lok and Leung, Karl R. P. H. and Wang, Ji and Dong, Wei}, biburl = {https://www.bibsonomy.org/bibtex/231ec7e57dabb1d0bd68a09e20a0e2768/dblp}, ee = {https://doi.org/10.1016/j.scico.2006.08.007}, interhash = {219fb26c4224d0738b6e3b20f68e7a35}, intrahash = {31ec7e57dabb1d0bd68a09e20a0e2768}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 1, pages = {14-29}, timestamp = {2024-04-09T05:27:06.000+0200}, title = {Modelling and model checking suspendible business processes via statechart diagrams and CSP.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp65.html#YeungLWD07}, volume = 65, year = 2007 }