FARN WANG2020-06-042020-06-041999https://scholars.lib.ntu.edu.tw/handle/123456789/497112Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.conference paper10.1007/3-540-48119-2_20https://doi.org/10.1007/3-540-48119-2_20