Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen. Modeling and Verifying AUPS Using CSP. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 568-573, KSI Research Inc., 2022. [doi]
@inproceedings{ZhangZYC22-0,
title = {Modeling and Verifying AUPS Using CSP},
author = {Hongqin Zhang and Huibiao Zhu and Jiaqi Yin and Ningning Chen},
year = {2022},
doi = {10.18293/SEKE2022-088},
url = {https://doi.org/10.18293/SEKE2022-088},
researchr = {https://researchr.org/publication/ZhangZYC22-0},
cites = {0},
citedby = {0},
pages = {568-573},
booktitle = {The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022},
editor = {Rong Peng and Carlos Eduardo Pantoja and Pankaj Kamthan},
publisher = {KSI Research Inc.},
isbn = {1-891706-54-3},
}