Constraint Database Models Characterizing Timed Bisimilarity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Supratik Mukhopadhyay, Andreas Podelski. Constraint Database Models Characterizing Timed Bisimilarity. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 245-258, Springer, 2001. [doi]

This author has not been identified. Look up 'Supratik Mukhopadhyay' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL