%0 Journal Article %1 journals/corr/abs-2403-02652 %A Erata, Ferhat %A Goknil, Arda %A Kurtev, Ivan %A Tekinerdogan, Bedir %D 2024 %J CoRR %K dblp %T AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. %U http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-02652 %V abs/2403.02652

@article{journals/corr/abs-2403-02652, added-at = {2024-04-02T00:00:00.000+0200}, author = {Erata, Ferhat and Goknil, Arda and Kurtev, Ivan and Tekinerdogan, Bedir}, biburl = {https://www.bibsonomy.org/bibtex/247d2348c9b2e29f24f8736eacfd60ec7/dblp}, ee = {https://doi.org/10.48550/arXiv.2403.02652}, interhash = {11e79bc4880a5551f15ea3776d40da23}, intrahash = {47d2348c9b2e29f24f8736eacfd60ec7}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:17:18.000+0200}, title = {AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-02652}, volume = {abs/2403.02652}, year = 2024 }