B Ramesh

Abstraction refinement for state space partitioning based on auxiliary state machines

Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, 2009, TENCON 2009 - 2009 IEEE Region 10 Conference.