%0 Thesis %1 phd/basesearch/Zhang15q %A Zhang, Zhenkai %D 2015 %K dblp %T Analysis and Verification of Cyber-Physical System Software Using Static Analysis.

@phdthesis{phd/basesearch/Zhang15q, added-at = {2023-01-20T00:00:00.000+0100}, author = {Zhang, Zhenkai}, biburl = {https://www.bibsonomy.org/bibtex/2c41cfd6216ce65146f8264e558087105/dblp}, ee = {https://www.base-search.net/Record/76beda9b53912759f215dc9505fc97445bbc67bfc0660630aa45b68883220820}, interhash = {8df46b0daa3a8b37e3ef2fe9e3913b0d}, intrahash = {c41cfd6216ce65146f8264e558087105}, keywords = {dblp}, note = {base-search.net (ftvanderbilt:oai:ir.vanderbilt.edu:1803/14342)}, school = {Vanderbilt University, Nashville, Tennessee, USA}, timestamp = {2024-04-09T09:21:50.000+0200}, title = {Analysis and Verification of Cyber-Physical System Software Using Static Analysis.}, year = 2015 }