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}, }