TY  - CONF
AU  - Peter Denno
AU  - Anantha
AU  - Amogh Kulkarni
AU  - Daniel Balasubramanian
AU  - Gabor Karsai
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  -