Automated refinement checking of concurrent systems.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

Browse the full ICCAD paper archive.