%0 Thesis %1 phd/de/Mehler2005 %A Mehler, Tilman %D 2005 %K dblp %T Challenges and applications of assembly level software model checking.

@phdthesis{phd/de/Mehler2005, added-at = {2016-05-04T00:00:00.000+0200}, author = {Mehler, Tilman}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/238783856e44a1ce796b1aeacbb147082/dblp}, ee = {http://d-nb.info/998050547}, interhash = {324c4232684d39a986c0dec078c5a38b}, intrahash = {38783856e44a1ce796b1aeacbb147082}, keywords = {dblp}, school = {Dortmund University of Technology}, timestamp = {2016-05-05T09:35:33.000+0200}, title = {Challenges and applications of assembly level software model checking.}, year = 2005 }