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