@inproceedings{crv16,
  author    = {Giles Reger and Sylvain Hall\'e and Yli{\`{e}}s Falcone},
  title     = {Third International Competition on Runtime Verification {CRV} 2016},
  booktitle = {Runtime Verification - 16th International Conference, {RV} 2016. Proceedings},
  notes     = {To Appear},
  year      = {2016},
}