%0 Journal Article %1 journals/fmsd/ChakrabortyFTV22 %A Chakraborty, Supratik %A Fried, Dror %A Tabajara, Lucas M. %A Vardi, Moshe Y. %D 2022 %J Formal Methods Syst. Des. %K dblp %N 2 %P 228-258 %T Functional synthesis via input-output separation. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd60.html#ChakrabortyFTV22 %V 60

@article{journals/fmsd/ChakrabortyFTV22, added-at = {2023-04-29T00:00:00.000+0200}, author = {Chakraborty, Supratik and Fried, Dror and Tabajara, Lucas M. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/22af8af441231b016d984ac76f12e95f3/dblp}, ee = {https://doi.org/10.1007/s10703-023-00410-5}, interhash = {869f77ec8b3d32abd4f89e510601624c}, intrahash = {2af8af441231b016d984ac76f12e95f3}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, month = {April}, number = 2, pages = {228-258}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Functional synthesis via input-output separation.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd60.html#ChakrabortyFTV22}, volume = 60, year = 2022 }