A Sound and Complete Reified Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guoxing Zhao, Jixin Ma, Fuxing Shen, Miltos Petridis. A Sound and Complete Reified Temporal Logic. In Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8,. pages 111-116, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Guoxing Zhao' in GoogleThis author has not been identified. Look up 'Jixin Ma' in GoogleThis author has not been identified. Look up 'Fuxing Shen' in GoogleThis author has not been identified. Look up 'Miltos Petridis' in Google

runs on WebDSL