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

@phdthesis{peranandam2006efficient, added-at = {2023-12-14T16:22:04.000+0100}, author = {Peranandam, Prakash Mohan}, biburl = {https://www.bibsonomy.org/bibtex/28900ef3f0976cf4ca3ef23a4e4caa15c/admin}, dnbtitleid = {98369995X}, interhash = {f6f2c4f96a1c2fcb076753fe9426f94b}, intrahash = {8900ef3f0976cf4ca3ef23a4e4caa15c}, keywords = {}, school = {Uni Tübingen}, timestamp = {2023-12-14T16:22:04.000+0100}, title = {Efficient system traversal and property verification by exploiting circuit locality}, year = 2006 }