Design and Verification of Systems with Exogenous Coordination Using Vereofy.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz, Wolfgang Leister

Browse the full ISoLA paper archive.