%0 Journal Article %1 journals/isse/FinkbeinerKM22 %A Finkbeiner, Bernd %A Klein, Felix %A Metzger, Niklas %D 2022 %J Innov. Syst. Softw. Eng. %K dblp %N 3 %P 443-454 %T Live synthesis. %U http://dblp.uni-trier.de/db/journals/isse/isse18.html#FinkbeinerKM22 %V 18

@article{journals/isse/FinkbeinerKM22, added-at = {2022-10-24T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas}, biburl = {https://www.bibsonomy.org/bibtex/2270a85761d8af0651e3bca57b776a74e/dblp}, ee = {https://doi.org/10.1007/s11334-022-00447-5}, interhash = {c222906a2d163fc0e6d815a04bc9ff31}, intrahash = {270a85761d8af0651e3bca57b776a74e}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {443-454}, timestamp = {2024-04-09T04:08:26.000+0200}, title = {Live synthesis.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse18.html#FinkbeinerKM22}, volume = 18, year = 2022 }