Quantified Propositional Temporal Logic with Repeating States - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tim French. Quantified Propositional Temporal Logic with Repeating States. In 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia. pages 155-165, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Tim French' in Google

runs on WebDSL