A Uniform Framework for Modeling and Verifying Components and Connectors.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz

Browse the full Coordination paper archive.