%0 Journal Article %1 journals/algorithms/AlwidianAL23 %A Alwidian, Sanaa A. %A Amyot, Daniel %A Lamo, Yngve %D 2023 %J Algorithms %K dblp %N 2 %P 105 %T Union Models for Model Families: Efficient Reasoning over Space and Time. %U http://dblp.uni-trier.de/db/journals/algorithms/algorithms16.html#AlwidianAL23 %V 16

@article{journals/algorithms/AlwidianAL23, added-at = {2023-03-11T00:00:00.000+0100}, author = {Alwidian, Sanaa A. and Amyot, Daniel and Lamo, Yngve}, biburl = {https://www.bibsonomy.org/bibtex/239509e74a4648be27f3147ab396e904c/dblp}, ee = {https://doi.org/10.3390/a16020105}, interhash = {655992dfc81840572e05d41387a49db2}, intrahash = {39509e74a4648be27f3147ab396e904c}, journal = {Algorithms}, keywords = {dblp}, month = {February}, number = 2, pages = 105, timestamp = {2024-04-09T05:18:15.000+0200}, title = {Union Models for Model Families: Efficient Reasoning over Space and Time.}, url = {http://dblp.uni-trier.de/db/journals/algorithms/algorithms16.html#AlwidianAL23}, volume = 16, year = 2023 }