Publisher
Springer International Publishing
Reference23 articles.
1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. KATMAT: University Bremen (2004).
http://katmat.math.uni-bremen.de/acc/acc.pdf
2. Burmeister, P., Monserrat, M., Rosselló, F., Valiente, G.: Algebraic transformation of unary partial algebras II: single-pushout approach. Theor. Comput. Sci. 216(1–2), 311–362 (1999)
3. Diskin, Z., König, H., Lawford, M.: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 31(5), 611–640 (2019).
https://doi.org/10.1007/s00165-019-00493-0
4. Monographs in Theoretical Computer Science. An EATCS Series;H Ehrig,2006
5. Feldmann, S., Kernschmidt, K., Wimmer, M., Vogel-Heuser, B.: Managing inter-model inconsistencies in model-based systems engineering: application in automated production systems engineering. J. Syst. Softw. 153, 105–134 (2019).
https://doi.org/10.1016/j.jss.2019.03.060
.
http://www.sciencedirect.com/science/article/pii/S0164121219300639
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献