%0 Thesis %1 phd/de/Keim2004 %A Keim, Martin %D 2003 %K dblp %P 1-196 %T Symbolic methods for testing digital circuits.

@phdthesis{phd/de/Keim2004, added-at = {2016-12-08T00:00:00.000+0100}, author = {Keim, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/259f37ec14a5a1356add38f3263271c91/dblp}, ee = {http://d-nb.info/971182108}, interhash = {d49ca191e22c1ca8b7d1f63b7e56efcf}, intrahash = {59f37ec14a5a1356add38f3263271c91}, keywords = {dblp}, pages = {1-196}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2016-12-09T10:33:15.000+0100}, title = {Symbolic methods for testing digital circuits.}, year = 2003 }