Items where Author is "Ramesh, B"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemGhosh, Priyankar ; Ramesh, B ; Banerjee, Ansuman ; Dasgupta, Pallab (2009) Abstraction refinement for state space partitioning based on auxiliary state machines In: TENCON 2009 - 2009 IEEE Region 10 Conference, 23-26 January 2009, Singapore. |
| Login | Create Account |
