%0 Journal Article %1 journals/sttt/DeckerLT16 %A Decker, Normann %A Leucker, Martin %A Thoma, Daniel %D 2016 %J Int. J. Softw. Tools Technol. Transf. %K %N 2 %P 205-225 %T Monitoring modulo theories. %U http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#DeckerLT16 %V 18

@article{journals/sttt/DeckerLT16, added-at = {2023-12-13T04:41:22.000+0100}, author = {Decker, Normann and Leucker, Martin and Thoma, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2c5b35d00b7cb018b9afb66f9d7fbca95/admin}, ee = {https://doi.org/10.1007/s10009-015-0380-3}, interhash = {9912a0cd0b65fa61a49704de54ae8144}, intrahash = {c5b35d00b7cb018b9afb66f9d7fbca95}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 2, pages = {205-225}, timestamp = {2023-12-13T04:41:22.000+0100}, title = {Monitoring modulo theories.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#DeckerLT16}, volume = 18, year = 2016 }