Formal Verification of Gate-Level Computer Systems

@inproceedings{pub4275,
    author = {

Hillebrand, Mark
 and 

Tverdyshev, Sergey
},
    editor = {

Frid, Anna
 and 

Morozov, Andrey
 and 

Rybalchenko, Andrey
 and 

Wagner, Klaus W.
},
    title = {Formal Verification of Gate-Level Computer Systems},
    booktitle = {Computer Science -- Theory and Applications. International Computer Science Symposium in Russia (CSR-09), Fourth, August 18-23, Novosibirsk, Russia},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2009},
    month = {8},
    volume = {5675},
    pages = {322--333},
    publisher = {Springer}
}