KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA314948

A functional approach for formalizing regular hardware structures

Eisenbiegler, Dirk; Schneider, Klaus; Kumar, Ramayya



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator ISBN: 3-540-57826-9
ISSN: 0302-9743
KITopen ID: 31494
Erschienen in Higher order logic theorem proving and its applications. Ed.: J.J. Joyce
Verlag Springer Verl., Berlin
Seiten 101 - 114
Serie Lecture notes in computer science ; 780
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page