Original language | English |
---|---|
Title of host publication | Proc. 2nd Conference on Theorem Provers in Circuit Design |
Pages | 151-166 |
Publication status | Published - 1994 |
Event | conference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 - Duration: 1 Jan 1994 → … |
Conference
Conference | conference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 |
---|---|
Period | 1/01/94 → … |
Other | Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 |