Modeling and Verifying AUPS Using CSP.

Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen

Browse the full SEKE paper archive.