%0 Journal Article %1 journals/fmsd/GiacomoSTVZ22 %A Giacomo, Giuseppe De %A Stasio, Antonio Di %A Tabajara, Lucas M. %A Vardi, Moshe Y. %A Zhu, Shufang %D 2022 %J Formal Methods Syst. Des. %K dblp %N 2 %P 139-163 %T Finite-trace and generalized-reactivity specifications in temporal synthesis. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd61.html#GiacomoSTVZ22 %V 61

@article{journals/fmsd/GiacomoSTVZ22, added-at = {2024-03-22T00:00:00.000+0100}, author = {Giacomo, Giuseppe De and Stasio, Antonio Di and Tabajara, Lucas M. and Vardi, Moshe Y. and Zhu, Shufang}, biburl = {https://www.bibsonomy.org/bibtex/2298d5aec0719c33aab7df13584d1b8ce/dblp}, ee = {https://doi.org/10.1007/s10703-023-00413-2}, interhash = {f6f85fd9632ca9682aad5bcf51aa24a6}, intrahash = {298d5aec0719c33aab7df13584d1b8ce}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, month = {December}, number = 2, pages = {139-163}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Finite-trace and generalized-reactivity specifications in temporal synthesis.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd61.html#GiacomoSTVZ22}, volume = 61, year = 2022 }