EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (138 KB) Kumar_R.pdf2.pdf (47 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA3394966
Titel Formal synthesis in circuit design - a classification and survey.
Autor Kumar, Ramayya
Blumenroehr, Christian
Eisenbiegler, Dirk
Schmid, Detlef
Institution Fakultät für Informatik (INFORMATIK)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Formal methods in computer-aided design. FMCAD '96. Ed.: M. Srivas
Verlag: Springer, Berlin
Jahr: 1996
ISBN: 3-540-61937-2
Seitenangabe: 294-309

Serie:
Lecture notes in computer science ; 1166