Automata-Based CSL Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns. Automata-Based CSL Model Checking. In Luca Aceto, Monika Henzinger, Jiri Sgall, editors, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Volume 6756 of Lecture Notes in Computer Science, pages 271-282, Springer, 2011. [doi]

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

Lijun Zhang

Look up 'Lijun Zhang' in GoogleThis author has not been identified. Look up 'David N. Jansen' in GoogleThis author has not been identified. Look up 'Flemming Nielson' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in Google

runs on WebDSL