Assume-guarantee re between dierent time scales (1999)

by T A Henzinger, S Qadeer, S K Rajamani
Venue:ComputerAided Veri '99, volume 1633 of LNCS