Titel |
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra |
|---|---|
Beteiligt |
Daniela Kaufmann (Verfasser) |
Erschienen in |
International journal on software tools for technology transfer : STTT 11.1.2023, Seite 1-12 |
Erschienen |
2022 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Software Engineering. |
DDC-Notation |
|
Persistent Identifier |
urn:nbn:de:101:1-2023032021165098844445 (URN) |
Datensatz-ID |
128391963X |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: