%0 Thesis %1 phd/us/Zhang16h %A Zhang, Shuyuan %D 2016 %K dblp %T Computer Network Verification and Management using Constraint Solvers

@phdthesis{phd/us/Zhang16h, added-at = {2024-08-22T00:00:00.000+0200}, author = {Zhang, Shuyuan}, biburl = {https://www.bibsonomy.org/bibtex/2d8f408e500cfd1423213554aab2009e4/dblp}, ee = {https://arks.princeton.edu/ark:/88435/dsp01bk128d30x}, interhash = {d7aa4305dd077ef1a39aac0ce01941fc}, intrahash = {d8f408e500cfd1423213554aab2009e4}, keywords = {dblp}, school = {Princeton University, USA}, timestamp = {2024-08-26T07:18:38.000+0200}, title = {Computer Network Verification and Management using Constraint Solvers}, year = 2016 }