Model for Parallel Verification of Programs.

Pei He, Lishan Kang, Qiongzhang Li

Browse the full SNPD paper archive.