Xiaoqing Jin. Verification and Validation of Hybrid Systems. PhD thesis, University of California, Riverside, USA, 2013. [doi]
@phdthesis{basesearch-4653, title = {Verification and Validation of Hybrid Systems}, author = {Xiaoqing Jin}, year = {2013}, url = {https://www.base-search.net/Record/21ba98348fdbdb0092345a5da9e86e5e4844e8b24ac5e78ec0e7db63bfc178b5}, note = {base-search.net (ftcdlib:qt7n3634tx)}, researchr = {https://researchr.org/publication/basesearch-4653}, cites = {0}, citedby = {0}, school = {University of California, Riverside, USA}, }