%0 Thesis %1 phd/ca/Wei10 %A Wei, Ou %D 2010 %K dblp %T Abstraction for Verification and Refutation in Model Checking.

@phdthesis{phd/ca/Wei10, added-at = {2022-07-29T00:00:00.000+0200}, author = {Wei, Ou}, biburl = {https://www.bibsonomy.org/bibtex/2d191bd090951119b61b42adaa94db641/dblp}, ee = {http://hdl.handle.net/1807/24330}, interhash = {99a8d2d1dd84c27018e79d619f57d7f5}, intrahash = {d191bd090951119b61b42adaa94db641}, keywords = {dblp}, school = {University of Toronto, Canada}, timestamp = {2024-04-09T09:28:20.000+0200}, title = {Abstraction for Verification and Refutation in Model Checking.}, year = 2010 }