Union Models for Model Families: Efficient Reasoning over Space and Time

Sanaa A. Alwidian, Daniel Amyot, Yngve Lamo. Union Models for Model Families: Efficient Reasoning over Space and Time. Algorithms, 16(2):105, February 2023. [doi]

Abstract

Abstract is missing.