%0 Journal Article %1 journals/corr/CavezzaA16 %A Cavezza, Davide G. %A Alrajeh, Dalal %D 2016 %J CoRR %K %T Interpolation-Based GR(1) Assumptions Refinement. %U http://dblp.uni-trier.de/db/journals/corr/corr1611.html#CavezzaA16 %V abs/1611.07803

@article{journals/corr/CavezzaA16, added-at = {2023-12-12T19:06:22.000+0100}, author = {Cavezza, Davide G. and Alrajeh, Dalal}, biburl = {https://www.bibsonomy.org/bibtex/27992cd790d5d0f69e09b8a3f6679a468/admin}, ee = {http://arxiv.org/abs/1611.07803}, interhash = {1bd58ad7a5fcd091be172e1f25291c01}, intrahash = {7992cd790d5d0f69e09b8a3f6679a468}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T19:06:22.000+0100}, title = {Interpolation-Based GR(1) Assumptions Refinement.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1611.html#CavezzaA16}, volume = {abs/1611.07803}, year = 2016 }