Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Online frei zugreifbar
Online frei zugreifbar

Daniela Kaufmann, Armin Biere, Manuel Kauers u. a.

Incremental column-wise verification of arithmetic circuits using computer algebra

Erschienen in: Formal methods in system design : an international journal 26.2.2019

Titel

Incremental column-wise verification of arithmetic circuits using computer algebra

Beteiligt

Daniela Kaufmann (Verfasser)
Armin Biere (Verfasser)
Manuel Kauers (Verfasser)
SpringerLink (Online service) (Sonstige)

Erschienen in

Formal methods in system design : an international journal 26.2.2019, Seite 1-33

Erschienen

2019

Sprache

Englisch

Land

Niederlande

Themen­gebiet

Informatik

Thema

Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.

DDC-Notation

004.01

Persistent Identifier

urn:nbn:de:101:1-2019040102270128591311 (URN)
10.1007/s10703-018-00329-2 (DOI)

Datensatz-ID

1182226833
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:

DNB-Portal