De Giacomo, G., Di Stasio, A., Tabajara, L., Vardi, M., & Zhu, S. (2023). Finite-trace and generalized-reactivity specifications in temporal synthesis. Springer.
Chicagoスタイル(17版)引用形式De Giacomo, G., A. Di Stasio, LM Tabajara, MY Vardi, , S. Zhu. Finite-trace and Generalized-reactivity Specifications in Temporal Synthesis. Springer, 2023.
MLA(9版)引用形式De Giacomo, G., et al. Finite-trace and Generalized-reactivity Specifications in Temporal Synthesis. Springer, 2023.
警告: この引用は必ずしも正確ではありません.