Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sumesh Divakaran, Deepak D Souza, M. Raj Mohan. Conflict-Tolerant Real-Time Specifications in Metric 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 35-42, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Sumesh Divakaran' in GoogleThis author has not been identified. Look up 'Deepak D Souza' in GoogleThis author has not been identified. Look up 'M. Raj Mohan' in Google

runs on WebDSL