Automatically reasoning about metamodeling
Jackson, Ethan K.; Levendovszky, Tihamer; Balasubramanian, Daniel
- 期刊名称Software & Systems Modeling
- 作者Jackson, Ethan K.; Levendovszky, Tihamer; Balasubramanian, Daniel
- 卷第14卷
- 期第1期
- 印刷ISSN1619-1366
- 电子ISSN1619-1374
- 文件大小1068.25KB
- 发表时间2015-2
- DOI10.1007/s10270-013-0315-y
- 页码271-285