Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

282 Publications


1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 39585
F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.
LibreCat
 

Filters and Search Terms

(person=16243)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed