Davide Ancona, Angelo Ferrando, Viviana Mascardi. Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. In Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Volume 9660 of Lecture Notes in Computer Science, pages 47-64, Springer, 2016. [doi]
Abstract is missing.