@inbook{Sekanina_2015,
    title = {Functional Equivalence Checking for Evolution of Complex Digital Circuits},
    isbn = {9783662446164},
    issn = {1619-7127},
    url = {http://dx.doi.org/10.1007/978-3-662-44616-4_6},
    doi = {10.1007/978-3-662-44616-4_6},
    booktitle = {Evolvable Hardware},
    publisher = {Springer Berlin Heidelberg},
    author = {Sekanina, Lukáš and Vašíček, Zdeněk},
    year = {2015},
    pages = {175–189},
    date-added = {2025-4-18 18:25:7 +0100}
}

@inbook{Sekanina_2015, title = {Functional Equivalence Checking for Evolution of Complex Digital Circuits}, isbn = {9783662446164}, issn = {1619-7127}, url = {http://dx.doi.org/10.1007/978-3-662-44616-4_6}, doi = {10.1007/978-3-662-44616-4_6}, booktitle = {Evolvable Hardware}, publisher = {Springer Berlin Heidelberg}, author = {Sekanina, Lukáš and Vašíček, Zdeněk}, year = {2015}, pages = {175–189}, date-added = {2025-4-18 18:25:7 +0100} }