%0 Journal Article %1 journals/fmsd/AvniK14 %A Avni, Guy %A Kupferman, Orna %D 2014 %J Formal Methods Syst. Des. %K dblp %N 2 %P 149-175 %T An abstraction-refinement framework for trigger querying. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd44.html#AvniK14 %V 44

@article{journals/fmsd/AvniK14, added-at = {2020-03-13T00:00:00.000+0100}, author = {Avni, Guy and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/24e55d5fc1e50af142508a57ea91eb05a/dblp}, ee = {https://doi.org/10.1007/s10703-013-0200-x}, interhash = {27a26891c208edd865107ceee38aae15}, intrahash = {4e55d5fc1e50af142508a57ea91eb05a}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {149-175}, timestamp = {2020-03-14T11:51:53.000+0100}, title = {An abstraction-refinement framework for trigger querying.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd44.html#AvniK14}, volume = 44, year = 2014 }