%0 Journal Article %1 journals/corr/abs-1805-03151 %A Cavezza, Davide G. %A Alrajeh, Dalal %A György, András %D 2018 %J CoRR %K %T A Weakness Measure for GR(1) Formulae. %U http://dblp.uni-trier.de/db/journals/corr/corr1805.html#abs-1805-03151 %V abs/1805.03151

@article{journals/corr/abs-1805-03151, added-at = {2023-12-13T06:52:48.000+0100}, author = {Cavezza, Davide G. and Alrajeh, Dalal and György, András}, biburl = {https://www.bibsonomy.org/bibtex/25b25f10e6505dc52d279e2af9c90177c/admin}, ee = {http://arxiv.org/abs/1805.03151}, interhash = {b2c4c9af8cf2d625727adb9a1e4f3799}, intrahash = {5b25f10e6505dc52d279e2af9c90177c}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T06:52:48.000+0100}, title = {A Weakness Measure for GR(1) Formulae.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1805.html#abs-1805-03151}, volume = {abs/1805.03151}, year = 2018 }