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