Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta. A New Approach for Minimal Environment Construction for Modular Property Verification. In 24th IEEE Asian Test Symposium, ATS 2015, Mumbai, India, November 22-25, 2015. pages 205-210, IEEE, 2015. [doi]
Abstract is missing.