Regular Linear-Time Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Leucker, César Sánchez. Regular Linear-Time Temporal Logic. In Nicolas Markey, Jef Wijsen, editors, TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. pages 3-5, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. Look up 'César Sánchez' in Google

runs on WebDSL