Assume-Guarantee Refinement Between Different Time Scales.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Browse the full CAV paper archive.