Items where Author is "Nisarg, Shah"
Group by: Category | No Grouping Number of items: 1. Paper in Conference Proceedings or in Workshop Proceedings
Chatterjee, Krishnendu and Henzinger, Monika and Manas, Joglekar and Nisarg, Shah
In: Proc. 23rd International Conference on Computer Aided Verification (CAV)
, July 14-20, 2011
, Cliff Lodge, Snowbird, Utah
(In Press)
(2011)
|