Realizability and Verification of MSC Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis. Realizability and Verification of MSC Graphs. In Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, editors, Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Volume 2076 of Lecture Notes in Computer Science, pages 797-808, Springer, 2001. [doi]

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Kousha Etessami' in GoogleThis author has not been identified. Look up 'Mihalis Yannakakis' in Google

runs on WebDSL