"A Lightweight Approach for Defining the Formal Semantics of a Modeling ..."

Pierre Kelsen, Qin Ma (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics