@phdthesis{Tv09,
AUTHOR = {Tverdyshev, Sergey},
TITLE = {Formal Verification of Gate-Level Computer Systems},
YEAR = {2009},
URL = {http:///publikationen/Tv09.pdf},
SCHOOL = {Saarland University, Computer Science Department},
}