Compositional Verification of Real-time Systems (1994)

by E S Chang, Z Manna, A Pnueli
Venue:In Proceedings of the 9th IEEE Symposium Logic in Computer Science (LICS 1994), IEEE Computer