Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995.
LibreCat: /record/39550

Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.
LibreCat: /record/39557

Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat: /record/39560

Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED). ; 1994.
LibreCat: /record/39565

Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat: /record/39577

Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat: /record/39575

Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat: /record/39554

Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED). ; 1994.
LibreCat: /record/39566

Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat: /record/39569

Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat: /record/39572

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

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

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

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

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

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

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: /record/39585