@inproceedings{mci/Maoz2016,
author = {Maoz, Shahar AND Ringert, Jan Oliver},
title = {GR(1) synthesis for LTL specification patterns},
booktitle = {Software Engineering 2016},
year = {2016},
editor = {Knoop, Jens AND Zdun, Uwe} ,
pages = { 103-104 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}