Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu. A Proof System for mCWQ. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1. pages 45-50, IEEE Computer Society, 2017. [doi]
@inproceedings{XieWZLL17,
title = {A Proof System for mCWQ},
author = {Wanling Xie and Xi Wu and Huibiao Zhu and Gang Lu and Ailun Liu},
year = {2017},
doi = {10.1109/COMPSAC.2017.32},
url = {https://doi.org/10.1109/COMPSAC.2017.32},
researchr = {https://researchr.org/publication/XieWZLL17},
cites = {0},
citedby = {0},
pages = {45-50},
booktitle = {41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1},
editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu 0001 and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung-Horng Lung and Hiroki Takakura and Ji-Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang 0002 and Kamrul Hasan},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-0367-3},
}