"Modelling Parametric Contracts and the State Space of Composite Components ..."

Ralf H. Reussner, Jens Happe, Annegret Habel (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics