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

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

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

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

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

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

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

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

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

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

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