@inproceedings{reger:hal-01428834, TITLE = {{Third International Competition on Runtime Verification CRV 2016}}, AUTHOR = {Reger, Giles and Hall{\'e}, Sylvain and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01428834}, BOOKTITLE = {{Sixteenth International Conference on Runtime Verification}}, ADDRESS = {Madrid, Spain}, YEAR = {2016}, MONTH = Sep, PDF = {https://inria.hal.science/hal-01428834/file/rv16-1.pdf}, HAL_ID = {hal-01428834}, HAL_VERSION = {v1}, }