Sciweavers

DAC
2008
ACM
14 years 12 months ago
Tunneling and slicing: towards scalable BMC
Malay K. Ganai, Aarti Gupta