Compositional Verification of Real-Time Systems

Edward Y. Chang, Zohar Manna, Amir Pnueli

Browse the full LICS paper archive.