Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
Corporate Vice President and Managing Director, Microsoft Research India Lab