English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Filtern
Volltext vorhanden
nein
(4)
Autor*in
Stoffel, Dominik (4)
(entfernen)
Erscheinungsjahr
1997 (4)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(3)
Monographie/Sammelband
(1)
Sprache
Englisch
(4)
Gehört zur Bibliographie
ja
(4)
Institut
Institut für Informatik und Computational Science
(4)
4
Treffer
1
bis
4
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
Logic optimization and equivalence checking by implication analysis
(1997)
Kunz, Wolfgang
;
Stoffel, Dominik
;
Menon, P.
Record & play : a structural fixed point iteration for sequential circuit verification
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
Structural FSM traversal : theory and a practical algorithm
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
;
Gerber, Stefan
1
bis
4
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.