@inproceedings{Hillebrand:CSR2009-3,
AUTHOR = {Hillebrand, M. and Tverdyshev, S.},
TITLE = {Formal Verification of Gate-Level Computer Systems},
VOLUME = {5675},
YEAR = {2009},
PAGES = {322-333},
SERIES = {LNCS},
BOOKTITLE = {4th International Computer Science Symposium in Russia},
PUBLISHER = {Springer},
EDITOR = {A. Morozov, K. Wagner, A. Rybalchenko, and A. Frid.},
EE = {http://dx.doi.org/10.1007/978-3-642-03351-3_30},
}