Subramanian K. Iyer Jawahar Jain Mukul R. Prasad Debashis Sahoo Thomas Sidle Error Detection Using BMC in a Parallel Environment. 354-358 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_30 db/conf/charme/charme2005.html#IyerJPSS05