Deutsch
Home
Search
Browse
Submit
Sitemap
Schließen
Refine
Has Fulltext
no
(4)
Author
Kunz, Wolfgang (4)
(remove)
Year of publication
1997 (4)
(remove)
Document Type
Article
(3)
Monograph/Edited Volume
(1)
Language
English (4)
(remove)
Is part of the Bibliography
yes
(4)
Institute
Institut für Informatik und Computational Science
(4)
4
search hits
1
to
4
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
;
Gerber, Stefan
Logic optimization and equivalence checking by implication analysis
(1997)
Kunz, Wolfgang
;
Stoffel, Dominik
;
Menon, P.
Structural FSM traversal : theory and a practical algorithm
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
Record & play : a structural fixed point iteration for sequential circuit verification
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
1
to
4
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this.
You can find our privacy policy here.