Constructing Property-Oriented Models for Verification.

Jifeng He Shengchao Qin Adnan Sherif Constructing Property-Oriented Models for Verification. 85-100 2006 conf/utp/2006 UTP http://dx.doi.org/10.1007/11768173_6 db/conf/utp/utp2006.html#HeQS06