iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/fmcad/NejatiGC06.xml
Shiva Nejati Mihaela Gheorghiu Marsha Chechik Thorough Checking Revisited. 106-116 2006 conf/fmcad/2006 FMCAD https://doi.org/10.1109/FMCAD.2006.33 https://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.33 db/conf/fmcad/fmcad2006.html#NejatiGC06