Kuehlmann, A. Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Transactions on computer-aided design of integrated circuits and systems.
Citazione stile Chigago Style (17a edizione)Kuehlmann, A. "Robust Boolean Reasoning for Equivalence Checking and Functional Property Verification." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems .
Citatione MLA (9a ed.)Kuehlmann, A. "Robust Boolean Reasoning for Equivalence Checking and Functional Property Verification." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, .
Attenzione: Queste citazioni potrebbero non essere precise al 100%.