@inproceedings{b63b3b0875cd4a1fb58e61eead0a22f6,
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 = "null ; Conference date: 23-02-2016 Through 26-02-2016",
}