✓

@book{book_421542,
    title = {Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods},
    author = {Paul Molitor and Janett Mohnke},
    publisher = {},
    isbn = {1402077254,9781402077258,9781402026034},
    year = {2004},
    series = {},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=6ddbd68461b373b8ea9140af07fea46e},
    date-added = {2025-4-18 18:21:53 +0100}
}

@book{book_421542, title = {Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods}, author = {Paul Molitor and Janett Mohnke}, publisher = {}, isbn = {1402077254,9781402077258,9781402026034}, year = {2004}, series = {}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=6ddbd68461b373b8ea9140af07fea46e}, date-added = {2025-4-18 18:21:53 +0100} }