![[IEEE ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - San Jose, CA (Nov. 6-10, 2005)] ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - SAT based solutions for consistency problems in formal property specifications for open systems]()
[IEEE ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - San Jose, CA (Nov. 6-10, 2005)] ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - SAT based solutions for consistency problems in formal property specifications for open systemsRoy, S.; Das, S.; Basu, P.; Dasgupta, P.; Chakrabarti, P.P. · 2005