Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta. SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput., 272:104502, 2020. [doi]
@article{CimattiGMRT20,
title = {SMT-based satisfiability of first-order LTL with event freezing functions and metric operators},
author = {Alessandro Cimatti and Alberto Griggio and Enrico Magnago and Marco Roveri and Stefano Tonetta},
year = {2020},
doi = {10.1016/j.ic.2019.104502},
url = {https://doi.org/10.1016/j.ic.2019.104502},
researchr = {https://researchr.org/publication/CimattiGMRT20},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {272},
pages = {104502},
}