Style de citation APA (7e éd.)

Kuehlmann, A. Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Transactions on computer-aided design of integrated circuits and systems.

Style de citation Chicago (17e éd.)

Kuehlmann, A. "Robust Boolean Reasoning for Equivalence Checking and Functional Property Verification." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems .

Style de citation MLA (9e éd.)

Kuehlmann, A. "Robust Boolean Reasoning for Equivalence Checking and Functional Property Verification." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, .

Attention : ces citations peuvent ne pas être correctes à 100%.