Model Verification Through Dependency Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba. Model Verification Through Dependency Graphs. In Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, editors, Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. Volume 11636 of Lecture Notes in Computer Science, pages 1-19, Springer, 2019. [doi]

This author has not been identified. Look up 'Søren Enevoldsen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Jirí Srba' in Google

runs on WebDSL