%0 Journal Article %1 journals/acta/TomitaUSHY17 %A Tomita, Takashi %A Ueno, Atsushi %A Shimakawa, Masaya %A Hagihara, Shigeki %A Yonezaki, Naoki %D 2017 %J Acta Informatica %K dblp %N 7 %P 655-692 %T Safraless LTL synthesis considering maximal realizability. %U http://dblp.uni-trier.de/db/journals/acta/acta54.html#TomitaUSHY17 %V 54

@article{journals/acta/TomitaUSHY17, added-at = {2020-10-26T00:00:00.000+0100}, author = {Tomita, Takashi and Ueno, Atsushi and Shimakawa, Masaya and Hagihara, Shigeki and Yonezaki, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/2ace5df16c7b840cf18a09fac5ca77805/dblp}, ee = {https://www.wikidata.org/entity/Q59607128}, interhash = {becc00edbf00d105427d7c88d284707a}, intrahash = {ace5df16c7b840cf18a09fac5ca77805}, journal = {Acta Informatica}, keywords = {dblp}, number = 7, pages = {655-692}, timestamp = {2020-10-27T12:09:21.000+0100}, title = {Safraless LTL synthesis considering maximal realizability.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta54.html#TomitaUSHY17}, volume = 54, year = 2017 }