Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti. SAT based solutions for consistency problems in formal property specifications for open systems. In 2005 International Conference on Computer-Aided Design (ICCAD 05), November 6-10, 2005, San Jose, CA, USA. pages 885-888, IEEE Computer Society, 2005.
Abstract is missing.