Bloom filters in probabilistic verification (2004)

by P C Dillinger, P Manolios
Venue:in Formal Methods in Computer-Aided Design (FMCAD