Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings - Kumar, Ramayya 1957-.; Kropf, Thomas 1961-.; International Conference on Theorem Provers in Circuit Design Bad Herrenalb, Germany) 1994 (Berlin Springer-Verlag, 1995)
Keywords: Digital integrated circuits -- Design and construction -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Computer-aided design -- Congresses