Formal Verification for Components and Connectors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha KlÃ¼ppelholz. Formal Verification for Components and Connectors. In Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Volume 5751 of Lecture Notes in Computer Science, pages 82-101, Springer, 2008. [doi]

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Tobias Blechmann' in GoogleThis author has not been identified. Look up 'Joachim Klein' in GoogleThis author has not been identified. Look up 'Sascha KlÃ¼ppelholz' in Google

runs on WebDSL