Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}