Tiemens, LuccaLuccaTiemensScott, Dana S.Dana S.ScottBenzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Benda, MiroslavMiroslavBenda2022-09-222022-09-222020978-3-030-43520-2978-3-030-43519-61611-33490302-9743https://fis.uni-bamberg.de/handle/uniba/55664engComputer-Supported Exploration of a Categorical Axiomatization of Modeloidsconferenceobject10.1007/978-3-030-43520-2_19https://link.springer.com/chapter/10.1007/978-3-030-43520-2_19