%0 Journal Article
%A Barrett R. Bryant
%A Jeff Gray
%A Marjan Mernik
%A Peter J. Clarke
%A Robert B. France
%A Gabor Karsai
%T Challenges and Directions in Formalizing the Semantics of Modeling Languages
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a1/
%F CSIS_2011_8_2_a1