%0 Journal Article %1 journals/isse/FinkbeinerGP23 %A Finkbeiner, Bernd %A Geier, Gideon %A Passing, Noemi %D 2023 %J Innov. Syst. Softw. Eng. %K dblp %N 4 %P 339-357 %T Specification decomposition for reactive synthesis. %U http://dblp.uni-trier.de/db/journals/isse/isse19.html#FinkbeinerGP23 %V 19

@article{journals/isse/FinkbeinerGP23, added-at = {2024-06-08T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi}, biburl = {https://www.bibsonomy.org/bibtex/25380fffab2855383ccb900be9c77167c/dblp}, ee = {https://doi.org/10.1007/s11334-022-00462-6}, interhash = {b7a739b72286191c5fe3491242bbb33b}, intrahash = {5380fffab2855383ccb900be9c77167c}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, month = {December}, number = 4, pages = {339-357}, timestamp = {2024-06-17T07:18:50.000+0200}, title = {Specification decomposition for reactive synthesis.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse19.html#FinkbeinerGP23}, volume = 19, year = 2023 }