Union Models for Model Families: Efficient Reasoning over Space and Time
Article in Algorithms (February 2023)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Article in Algorithms (February 2023)
Article in Journal of Software (February 2019)
Article in Journal of Systems and Software (January 2016)