Formalization and Verification of SIP Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Browse the full PDCAT paper archive.