Maria Sorea. Verification of real-time systems through lazy approximations. PhD thesis, University of Ulm, 2004.
@phdthesis{de-5000, title = {Verification of real-time systems through lazy approximations}, author = {Maria Sorea}, year = {2004}, note = {http://d-nb.info/972162364}, researchr = {https://researchr.org/publication/de-5000}, cites = {0}, citedby = {0}, school = {University of Ulm}, }