Sciweavers

47
Voted
DAC
2008
ACM
15 years 11 months ago
Tunneling and slicing: towards scalable BMC
Malay K. Ganai, Aarti Gupta