Monica Brockmeyer. Monitoring, testing, and abstractions of real -time specifications. PhD thesis, University of Michigan, USA, 1999. [doi]
@phdthesis{us-1663, title = {Monitoring, testing, and abstractions of real -time specifications}, author = {Monica Brockmeyer}, year = {1999}, url = {http://hdl.handle.net/2027.42/132080}, researchr = {https://researchr.org/publication/us-1663}, cites = {0}, citedby = {0}, school = {University of Michigan, USA}, }