An Environment for the ParTraP Trace Property Language (Tool Demonstration) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ansem Ben Cheikh' in GoogleThis author has not been identified. Look up 'Yoann Blein' in GoogleThis author has not been identified. Look up 'Salim Chehida' in GoogleThis author has not been identified. Look up 'Germán Vega' in GoogleThis author has not been identified. Look up 'Yves Ledru' in GoogleThis author has not been identified. Look up 'Lydie du Bousquet' in Google

runs on WebDSL