Formal Methods in Computer-Aided Design
Book title Buchtitel
Formal Methods in Computer-Aided Design
Publisher Herausgeber
TU Wien Academic Press / IEEE
Place of publishing Erscheinungsort
1
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian | SAT-Based Methods for Circuit Synthesis | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Thread-modular Counter Abstraction for Parameterized Program Safety | Konferenzbeitrag Inproceedings | 2020 |