@inproceedings{TS-LFM2008, <br>AUTHOR = {Tverdyshev, S. and  Shadrin, A.},<br>TITLE = {Formal Verification of Gate-Level Computer Systems (short paper)},<br>YEAR = {2008},<br>PAGES = {56-58}, <br>SERIES = {NASA Scientific and Technical Information (STI)},<br>BOOKTITLE = {LFM 2008}, <br>PUBLISHER = {NASA},<br>EDITOR = {Kristin Yvonne Rozier},<br>EE = {http://shemesh.larc.nasa.gov/people/kyr/papers/NASA-cp-2008-215309.pdf},<br>}