Pradeep Kumar Nalla Jörg Behrend Prakash Mohan Peranandam Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel Grid Based Fast Falsification For Bounded Property Checking. 299-304 2007 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=286 conf/fdl/2007 db/conf/fdl/fdl2007.html#NallaBPRKR07