Reachability for Dynamic Parametric Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anca Muscholl, Helmut Seidl, Igor Walukiewicz. Reachability for Dynamic Parametric Processes. In Ahmed Bouajjani, David Monniaux, editors, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. Volume 10145 of Lecture Notes in Computer Science, pages 424-441, Springer, 2017. [doi]

This author has not been identified. Look up 'Anca Muscholl' in GoogleThis author has not been identified. Look up 'Helmut Seidl' in GoogleThis author has not been identified. Look up 'Igor Walukiewicz' in Google

runs on WebDSL