Making runtime monitoring of parametric properties practical

Dongyun Jin. Making runtime monitoring of parametric properties practical. PhD thesis, University of Illinois Urbana-Champaign, USA, 2012. [doi]

@phdthesis{us-10158,
  title = {Making runtime monitoring of parametric properties practical},
  author = {Dongyun Jin},
  year = {2012},
  url = {https://hdl.handle.net/2142/34333},
  researchr = {https://researchr.org/publication/us-10158},
  cites = {0},
  citedby = {0},
  school = {University of Illinois Urbana-Champaign, USA},
}