%0 Journal Article %1 journals/sosym/ButtnerC15 %A Büttner, Fabian %A Cabot, Jordi %D 2015 %J Softw. Syst. Model. %K dblp %N 1 %P 413-427 %T Lightweight string reasoning in model finding. %U http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#ButtnerC15 %V 14

@article{journals/sosym/ButtnerC15, added-at = {2020-09-18T00:00:00.000+0200}, author = {Büttner, Fabian and Cabot, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/2304d87d26ec7abb8466ac83327a1f70f/dblp}, ee = {https://doi.org/10.1007/s10270-013-0332-x}, interhash = {680781e4981849db69af44aed44b28da}, intrahash = {304d87d26ec7abb8466ac83327a1f70f}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 1, pages = {413-427}, timestamp = {2020-09-19T11:40:11.000+0200}, title = {Lightweight string reasoning in model finding.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#ButtnerC15}, volume = 14, year = 2015 }