%0 Conference Paper %1 conf/models/DaniaC16 %A Dania, Carolina %A Clavel, Manuel %B MoDELS %D 2016 %E Baudry, Benoit %E Combemale, Benoît %I ACM %K dblp %P 65-75 %T OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. %U http://dblp.uni-trier.de/db/conf/models/models2016.html#DaniaC16 %@ 978-1-4503-4321-3

@inproceedings{conf/models/DaniaC16, added-at = {2017-02-04T00:00:00.000+0100}, author = {Dania, Carolina and Clavel, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2b62bcccc66b110dafbdcc708f249b1f2/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2016}, editor = {Baudry, Benoit and Combemale, Benoît}, ee = {http://dl.acm.org/citation.cfm?id=2976774}, interhash = {404bac932b48f96a43a7b54bf8b79c0a}, intrahash = {b62bcccc66b110dafbdcc708f249b1f2}, isbn = {978-1-4503-4321-3}, keywords = {dblp}, pages = {65-75}, publisher = {ACM}, timestamp = {2018-11-07T12:43:44.000+0100}, title = {OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.}, url = {http://dblp.uni-trier.de/db/conf/models/models2016.html#DaniaC16}, year = 2016 }