An Approach to Modelling and Verification of Component Based Systems.

Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Browse the full SOFSEM paper archive.