E. Y. Chang, Z. Manna, and A. Pnueli. Characterization of temporal property classes. In Proc. Automata, Languages and Programming, volume 623 of LNCS, pages 474#486. Springer, 1992.
author author author author author author author author title title title title title title booktitle booktitle booktitle booktitle booktitle volume volume volume volume pages pages publisher date