Tight Integration and Synchronization of Distributed Graphical Applications
W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.
LibreCat: /record/39578

Approaching the Denotational Semantics of Behavioral VHDL Descriptions
W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.
LibreCat: /record/39580

Parallel Validation of STEP Files
W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.
LibreCat: /record/39579

The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments
W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992.
LibreCat: /record/39582

Contract-Oriented System Design and Specification
W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.
LibreCat: /record/39584

Validation of EXPRESS Models Using Prolog
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
LibreCat: /record/39583

ODICE: Object-Oriented Hardware Description in CAD Environment
F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, Washington DC, 1989.
LibreCat: /record/39585