%0 Conference Paper %1 conf/fm/CavezzaAG18 %A Cavezza, Davide Giacomo %A Alrajeh, Dalal %A György, András %B FM %D 2018 %E Havelund, Klaus %E Peleska, Jan %E Roscoe, Bill %E de Vink, Erik P. %I Springer %K dblp %P 110-128 %T A Weakness Measure for GR(1) Formulae. %U http://dblp.uni-trier.de/db/conf/fm/fm2018.html#CavezzaAG18 %V 10951 %@ 978-3-319-95582-7

@inproceedings{conf/fm/CavezzaAG18, added-at = {2020-05-19T00:00:00.000+0200}, author = {Cavezza, Davide Giacomo and Alrajeh, Dalal and György, András}, biburl = {https://www.bibsonomy.org/bibtex/2cdd065ee4891780941900a1b0a6fecf5/dblp}, booktitle = {FM}, crossref = {conf/fm/2018}, editor = {Havelund, Klaus and Peleska, Jan and Roscoe, Bill and de Vink, Erik P.}, ee = {https://doi.org/10.1007/978-3-319-95582-7_7}, interhash = {b2c4c9af8cf2d625727adb9a1e4f3799}, intrahash = {cdd065ee4891780941900a1b0a6fecf5}, isbn = {978-3-319-95582-7}, keywords = {dblp}, pages = {110-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-20T11:52:59.000+0200}, title = {A Weakness Measure for GR(1) Formulae.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2018.html#CavezzaAG18}, volume = 10951, year = 2018 }