@inproceedings{4d8f423d415e43e7a0aa4990212a8f3e,
title = "GR(1) synthesis for LTL specification patterns",
author = "Shahar Maoz and Ringert, \{Jan Oliver\}",
year = "2016",
language = "الإنجليزيّة",
series = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",
publisher = "Gesellschaft fur Informatik (GI)",
pages = "103--104",
editor = "Jens Knoop and Uwe Zdun",
booktitle = "Software Engineering 2016",
address = "ألمانيا",
note = "Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016 ; Conference date: 23-02-2016 Through 26-02-2016",
}