Xiaoxia Cao, Huaikou Miao, Qingguo Xu. Verifying Service-Oriented Requirements Using Model Checking. In 2008 IEEE International Conference on e-Business Engineering, ICEBE 2008, Xi'an, China, October 22-24, 2008. pages 643-648, IEEE Computer Society, 2008. [doi]
@inproceedings{CaoMX08-0,
title = {Verifying Service-Oriented Requirements Using Model Checking},
author = {Xiaoxia Cao and Huaikou Miao and Qingguo Xu},
year = {2008},
doi = {10.1109/ICEBE.2008.30},
url = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2008.30},
researchr = {https://researchr.org/publication/CaoMX08-0},
cites = {0},
citedby = {0},
pages = {643-648},
booktitle = {2008 IEEE International Conference on e-Business Engineering, ICEBE 2008, Xi'an, China, October 22-24, 2008},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3395-7},
}