Clock Transition Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Didier Lime, Olivier H. Roux, Claude Jard. Clock Transition Systems. In Louchka Popova-Zeugmann, editor, Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. Volume 928 of CEUR Workshop Proceedings, pages 227-238, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Didier Lime' in GoogleThis author has not been identified. Look up 'Olivier H. Roux' in GoogleThis author has not been identified. Look up 'Claude Jard' in Google

runs on WebDSL