Rolf Drechsler

Graphenbasierte Funktionsdarstellung
Rolf Drechsler, Bernd Becker · 1998
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 1998
- Language
- German
- Series
- Leitfäden der Informatik
- Publisher
- Vieweg+Teubner Verlag
- Editions
- 1
- ISBN
- 9783663014423
Data source: Wikidata
More by Rolf Drechsler
Rolf Drechsler

Towards One-Pass Synthesis
Rolf Drechsler · 2002
Rolf Drechsler

Formal Verification of Circuits
Rolf Drechsler · 2000
Rolf Drechsler

Binary Decision Diagrams
Rolf Drechsler · 1998
Rolf Drechsler

Evolutionary Algorithms for VLSI CAD
Rolf Drechsler · 1998
Rolf Drechsler

Advanced Boolean Techniques
Rolf Drechsler · 2023
Rolf Drechsler

Formal System Verification
Rolf Drechsler · 2017
Rolf Drechsler

Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler · 2015
Rolf Drechsler

Test pattern generation using Boolean proof engines
Rolf Drechsler · 2009
Rolf Drechsler

Advanced Formal Verification
Rolf Drechsler · 2004
Rolf Drechsler

Evolutionary Algorithms for Embedded System Design
Rolf Drechsler · 2003