Advanced search

Authors whose works are in public domain in at least one jurisdiction
Missing/wrong data? Edit Wikidata item
Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.

Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine

Author/s

author: Rolf Drechsler

Work details

Publication date: 2023
Language: English
Country of origin: Unknown

Copyright status

Copyright status information is not available for this work. The copyright status depends on the jurisdiction, the author's date of death and the date the work was created or published.

To learn more about copyright terms in different countries, visit the countries and terms page.

Paulina is supported by:

About Paulina

Help