Author:Dan Li

Publications
COEMS — open traces from the industry Svetlana Jakšić, Martin Leucker, Dan Li and Volker Stolz In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools