@inproceedings{BasinKZ-RVCUBES17,
  author = {David Basin and Felix Klaedtke and Eugen Z\u{a}linescu},
  title = {The {MonPoly} Monitoring Tool},
  booktitle = {RV-CuBES: An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  year = {2017},
  opteditor = {Giles Reger and Klaus Havelund},
  series = {Kalpa Publications},
  publisher = {EasyChair},
  doi = {10.29007/89hs},
  optpdf = {../papers/bkz__monpoly__rvcubes17.pdf}
}

This file was generated by bibtex2html 1.98.