Incremental Inductive Verification of Parameterized Timed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias Isenberg. Incremental Inductive Verification of Parameterized Timed Systems. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 1-9, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Tobias Isenberg' in Google

runs on WebDSL