Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen. A Model Checking Tool Embedded into Services Composition Environment. In Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings. pages 355-362, IEEE Computer Society, 2006. [doi]
@inproceedings{GaoLSC06,
title = {A Model Checking Tool Embedded into Services Composition Environment},
author = {Chunming Gao and Rongsheng Liu and Yan Song and Huowang Chen},
year = {2006},
doi = {10.1109/GCC.2006.11},
url = {http://doi.ieeecomputersociety.org/10.1109/GCC.2006.11},
tags = {model checking, meta-model, composition, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/GaoLSC06},
cites = {0},
citedby = {0},
pages = {355-362},
booktitle = {Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-2694-2},
}