Completeness set proof of precondition and post-condition types of activity in any EPM.

Qian Yu, Tong Li, Jinzhuo Liu, Xuan Zhang, Yong Yu

Browse the full ICMV paper archive.