%0 Conference Paper %1 conf/se/MaozR16 %A Maoz, Shahar %A Ringert, Jan Oliver %B Software Engineering %D 2016 %E Knoop, Jens %E Zdun, Uwe %I GI %K dblp %P 103-104 %T GR(1) synthesis for LTL specification patterns. %U http://dblp.uni-trier.de/db/conf/se/se2016.html#MaozR16 %V P-252 %@ 978-388579-646-6

@inproceedings{conf/se/MaozR16, added-at = {2023-07-04T00:00:00.000+0200}, author = {Maoz, Shahar and Ringert, Jan Oliver}, biburl = {https://www.bibsonomy.org/bibtex/2c5407401a022324cbf08155a1a4c67a2/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2016}, editor = {Knoop, Jens and Zdun, Uwe}, ee = {https://dl.gi.de/handle/20.500.12116/745}, interhash = {b733b491bf60d20eb7e44a79a5a24882}, intrahash = {c5407401a022324cbf08155a1a4c67a2}, isbn = {978-388579-646-6}, keywords = {dblp}, pages = {103-104}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T13:03:51.000+0200}, title = {GR(1) synthesis for LTL specification patterns.}, url = {http://dblp.uni-trier.de/db/conf/se/se2016.html#MaozR16}, volume = {P-252}, year = 2016 }