Matching Scenarios with Timing Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Prakash Chandrasekaran, Madhavan Mukund. Matching Scenarios with Timing Constraints. In Eugene Asarin, Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science, pages 98-112, Springer, 2006. [doi]

This author has not been identified. Look up 'Prakash Chandrasekaran' in GoogleThis author has not been identified. Look up 'Madhavan Mukund' in Google

runs on WebDSL