Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró. Automated generation of consistent models using qualitative abstractions and exploration strategies. Software and Systems Modeling, 21(5):1763-1787, 2022. [doi]
@article{BabikianSLMV22, title = {Automated generation of consistent models using qualitative abstractions and exploration strategies}, author = {Aren A. Babikian and Oszkár Semeráth and Anqi Li and Kristóf Marussy and Dániel Varró}, year = {2022}, doi = {10.1007/s10270-021-00918-6}, url = {https://doi.org/10.1007/s10270-021-00918-6}, researchr = {https://researchr.org/publication/BabikianSLMV22}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {21}, number = {5}, pages = {1763-1787}, }