Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi. Timed Trace Expressions. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, pages 229-241, CEUR-WS.org, 2019. [doi]
Abstract is missing.