New data structures and algorithms for logic synthesis and verification
Amaru Luca GaetanoKniha
Citace v seznamu literatury:
AMARU, Luca Gaetano. New data structures and algorithms for logic synthesis and verification. Switzerland: Springer, [2016]. ISBN 9783319431741. Dostupné také z: https://proxy.k.utb.cz/login?url=https://link.springer.com/10.1007/978-3-319-43174-1.