The anchored version of the temporal framework (1989)

by Z Manna, A Pnueli
Venue:In Lecture Notes in Computer Science 354