TY - JOUR AU - Barrett R. Bryant AU - Jeff Gray AU - Marjan Mernik AU - Peter J. Clarke AU - Robert B. France AU - Gabor Karsai TI - Challenges and Directions in Formalizing the Semantics of Modeling Languages JO - Computer Science and Information Systems PY - 2011 VL - 8 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a1/ ID - CSIS_2011_8_2_a1 ER -