A Uniform Framework for Modeling and Verifying 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. A Uniform Framework for Modeling and Verifying Components and Connectors. In John Field, Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Volume 5521 of Lecture Notes in Computer Science, pages 247-267, Springer, 2009. [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