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]
@inproceedings{AnconaFM16,
title = {Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification},
author = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
year = {2016},
doi = {10.1007/978-3-319-30734-3_6},
url = {http://dx.doi.org/10.1007/978-3-319-30734-3_6},
researchr = {https://researchr.org/publication/AnconaFM16},
cites = {0},
citedby = {0},
pages = {47-64},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
editor = {Erika Ábrahám and Marcello M. Bonsangue and Einar Broch Johnsen},
volume = {9660},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-30733-6},
}