Intuitive Representations for Temporal Logic Formulas

Y. Zhao. Intuitive Representations for Temporal Logic Formulas. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 405-414, ECSI, 2003. [doi]

Authors

Y. Zhao

This author has not been identified. Look up 'Y. Zhao' in Google