Reduced Models for Efficient CCS Verification.

Roberto Barbuti Nicoletta De Francesco Antonella Santone Gigliola Vaglini Reduced Models for Efficient CCS Verification. 319-350 2005 26 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-005-1634-6 db/journals/fmsd/fmsd26.html#BarbutiFSV05