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