Tilman Glökler Jason Baumgartner Devi Shanmugam A. E. (Rick) Seigler Gary A. Van Huben Barinjato Ramanandray Hari Mony Paul Roessler Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. 3-10 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.12 db/conf/fmcad/fmcad2006.html#GloklerBSSHRMR06