Hongbing Wang, Zuling Kang, Ning Zhou, Li Li. A model checker for WS-CDL. Journal of Systems and Software, 83(10):1651-1661, 2010. [doi]
@article{WangKZL10, title = {A model checker for WS-CDL}, author = {Hongbing Wang and Zuling Kang and Ning Zhou and Li Li}, year = {2010}, doi = {10.1016/j.jss.2010.03.076}, url = {http://dx.doi.org/10.1016/j.jss.2010.03.076}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/WangKZL10}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {83}, number = {10}, pages = {1651-1661}, }