TY  - CONF
AU  - Denno, Peter
AU  - Anantha, 
AU  - Kulkarni, Amogh
AU  - Balasubramanian, Daniel
AU  - Karsai, Gabor
C2  - 2016 Conference on Systems Engineering Research, Huntsville, AL
DA  - 2016-03-22
LA  - en
PB  - 2016 Conference on Systems Engineering Research, Huntsville, AL
PY  - 2016
TI  - A domain-specific language for model composition and verification of multidisciplinary models
ER  -