Media type: E-Article Title: Computer Science - Theory and Applications: Formal Verification of Gate-Level Computer Systems Contributor: Hillebrand, Mark; Tverdyshev, Sergey Published: Springer Berlin Heidelberg, 2009 Published in: Computer Science - Theory and Applications (2009), Seite 322-333 Language: Not determined DOI: 10.1007/978-3-642-03351-3_30 ISBN: 9783642033506; 9783642033513 ISSN: 0302-9743; 1611-3349 Origination: Footnote: