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
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. ; 1989.
LibreCat