%0 Conference Paper %1 conf/icse/MaozRS19 %A Maoz, Shahar %A Ringert, Jan Oliver %A Shalom, Rafi %B ICSE %D 2019 %E Atlee, Joanne M. %E Bultan, Tevfik %E Whittle, Jon %I IEEE / ACM %K dblp %P 1016-1026 %T Symbolic repairs for GR(1) specifications. %U http://dblp.uni-trier.de/db/conf/icse/icse2019.html#MaozRS19 %@ 978-1-7281-0869-8

@inproceedings{conf/icse/MaozRS19, added-at = {2019-12-27T00:00:00.000+0100}, author = {Maoz, Shahar and Ringert, Jan Oliver and Shalom, Rafi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b4cc851bea6d6075e96eff8881f24872/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2019}, editor = {Atlee, Joanne M. and Bultan, Tevfik and Whittle, Jon}, ee = {https://dl.acm.org/citation.cfm?id=3339632}, interhash = {e3032a7ec514801e87eb607b77301c2a}, intrahash = {b4cc851bea6d6075e96eff8881f24872}, isbn = {978-1-7281-0869-8}, keywords = {dblp}, pages = {1016-1026}, publisher = {IEEE / ACM}, timestamp = {2020-01-09T08:05:29.000+0100}, title = {Symbolic repairs for GR(1) specifications.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2019.html#MaozRS19}, year = 2019 }