%0 Conference Paper %1 conf/mbmv/SoekenWKGD10 %A Soeken, Mathias %A Wille, Robert %A Kuhlmann, Mirco %A Gogolla, Martin %A Drechsler, Rolf %B MBMV %D 2010 %E Dietrich, Manfred %I Fraunhofer Verlag %K %P 57-66 %T Verifying UML/OCL Models Using Boolean Satisfiability. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2010.html#SoekenWKGD10

@inproceedings{conf/mbmv/SoekenWKGD10, added-at = {2023-12-14T14:43:12.000+0100}, author = {Soeken, Mathias and Wille, Robert and Kuhlmann, Mirco and Gogolla, Martin and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/21798366b48ae5cdb2fb781c66615b1c9/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2010}, editor = {Dietrich, Manfred}, interhash = {e27c4810635415d73ce7f5646803a5aa}, intrahash = {1798366b48ae5cdb2fb781c66615b1c9}, keywords = {}, pages = {57-66}, publisher = {Fraunhofer Verlag}, timestamp = {2023-12-14T14:43:12.000+0100}, title = {Verifying UML/OCL Models Using Boolean Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2010.html#SoekenWKGD10}, year = 2010 }