Runtime Verification for Hybrid Analysis Tools (bibtex)

by LV Nguyen, C Schilling, S Bogomolov and Taylor T. Johnson

Reference:

LV Nguyen, C Schilling, S Bogomolov and Taylor T. Johnson, "Runtime Verification for Hybrid Analysis Tools", In 15th International Conference on Runtime Verification (RV'15), Springer, pp. 281–286, 2015.

Bibtex Entry:

@inproceedings{nguyen2015rv,
  title = {Runtime Verification for Hybrid Analysis Tools},
  author = {LV Nguyen and C Schilling and S Bogomolov and Taylor T. Johnson},
  year = {2015},
  month = nov,
  booktitle = {15th International Conference on Runtime Verification (RV'15)},
  volume = {9333},
  pages = {281--286},
  publisher = {Springer},
  doi = {10.1007/978-3-319-23820-3_19},
  publabel = {C12},
  pubtype = {C},
  dblp = {conf/rv/NguyenSBJ15},
  pdf = "research/nguyen2015rv.pdf",
}