Items where Author is "Tabajara, L. M."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Article
De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978, Tabajara, L. M. , Vardi, M. Y. & Zhu, S. (2022).
Finite-trace and generalized-reactivity specifications in temporal synthesis.
Formal Methods in System Design, 61(2-3),
pp. 139-163.
doi: 10.1007/s10703-023-00413-2