Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet. An Environment for the ParTraP Trace Property Language (Tool Demonstration). In Christian Colombo, Martin Leucker, editors, Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Volume 11237 of Lecture Notes in Computer Science, pages 437-446, Springer, 2018. [doi]
@inproceedings{CheikhBCVLB18,
title = {An Environment for the ParTraP Trace Property Language (Tool Demonstration)},
author = {Ansem Ben Cheikh and Yoann Blein and Salim Chehida and Germán Vega and Yves Ledru and Lydie du Bousquet},
year = {2018},
doi = {10.1007/978-3-030-03769-7_26},
url = {https://doi.org/10.1007/978-3-030-03769-7_26},
researchr = {https://researchr.org/publication/CheikhBCVLB18},
cites = {0},
citedby = {0},
pages = {437-446},
booktitle = {Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings},
editor = {Christian Colombo and Martin Leucker},
volume = {11237},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-03769-7},
}