@InProceedings{Tverdyshev:LFM08-56,
  author =       "Sergey Tverdyshev and Andrey Shadrin",
  title =        "Formal Verification of Gate-Level Computer Systems",
  year =         "2008",
  booktitle =    "LFM 2008: Sixth NASA Langley Formal Methods Workshop",
  pages =        "56--58",
  series =       "NASA Scientific and Technical Information (STI)",
  publisher =    "NASA",
  editor =       "Kristin Yvonne Rozier",
  ee =           "http://shemesh.larc.nasa.gov/people/kyr/papers/NASA-cp-2008-215309.pdf",
}