search result

Cover von Verification over discrete-continuous boundaries
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 10271
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Algorithms and Applications for Next Generation SAT Solvers
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 09461
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Computer aided design and test
BDDs versus SAT : 28.01. - 02.02.01, Seminar Nr. 01051
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 297
Media group: DAGSTUHL-SEMINAR-REP
Cover von Decision diagrams
concepts and applications ; 24.01.1999 - 29.01.1999 (99041)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 229
Media group: DAGSTUHL-SEMINAR-REP
Cover von Towards mixed structural-functional models for algebraic fault attacks on ciphers
article in Verification and Security Workshop (IVSW), 2017 IEEE 2nd International
Search for this author
Year: 2017
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
OPEN V 11.1.0.0