%0 Thesis %1 peranandam2006efficient %A Peranandam, Prakash Mohan %D 2006 %K dnb Ingenieurwissenschaften_und_Maschinenbau Informatik %T Efficient system traversal and property verification by exploiting circuit locality

@phdthesis{peranandam2006efficient, added-at = {2015-09-10T00:24:11.000+0200}, author = {Peranandam, Prakash Mohan}, biburl = {https://www.bibsonomy.org/bibtex/28900ef3f0976cf4ca3ef23a4e4caa15c/genealogie}, dnbtitleid = {98369995X}, interhash = {f6f2c4f96a1c2fcb076753fe9426f94b}, intrahash = {8900ef3f0976cf4ca3ef23a4e4caa15c}, keywords = {dnb Ingenieurwissenschaften_und_Maschinenbau Informatik}, school = {Uni Tübingen}, timestamp = {2015-09-10T00:25:51.000+0200}, title = {Efficient system traversal and property verification by exploiting circuit locality}, year = 2006 }