@inproceedings{Maoz_2015,<br/><span class="tab"></span> series={ESEC/FSE’15},<br/><span class="tab"></span> title={GR(1) synthesis for LTL specification patterns},<br/><span class="tab"></span> url={http://dx.doi.org/10.1145/2786805.2786824},<br/><span class="tab"></span> DOI={10.1145/2786805.2786824},<br/><span class="tab"></span> booktitle={Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering},<br/><span class="tab"></span> publisher={ACM},<br/><span class="tab"></span> author={Maoz,<br/><span class="tab"></span> Shahar and Ringert,<br/><span class="tab"></span> Jan Oliver},<br/><span class="tab"></span> year={2015},<br/><span class="tab"></span> month=aug,<br/><span class="tab"></span> pages={96–106},<br/><span class="tab"></span> collection={ESEC/FSE’15} }