A hierarchy of temporal properties (1990)

by Z Manna, A Pnueli
Venue:In Proc. of PODC ’90