Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker. Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. In Eran Yahav, editor, Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Volume 8855 of Lecture Notes in Computer Science, pages 30-47, Springer, 2014. [doi]

This author has not been identified. Look up 'Georges Morbé' in GoogleThis author has not been identified. Look up 'Christian Miller' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL