@inproceedings{BasinKZ-RVCUBES17,
  author = {David Basin and Felix Klaedtke and Eugen Zalinescu},
  title = {The {M}on{P}oly {M}onitoring {T}ool},
  booktitle = {RV-CuBES: An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  year = 2017,
  series = {Kalpa Publications},
  publisher = {EasyChair},
}