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]
No references recorded for this publication.
No citations of this publication recorded.