Items where Author is "Nisarg, Shah"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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)
  • This list was generated on Tue Oct 8 13:46:27 2024 CEST.