@inproceedings{39575,
  author       = {{Börger, Egon and Glässer, Uwe and Müller, Wolfgang}},
  booktitle    = {{Proceedings of EURO-DAC'94/EURO-VHDL'94}},
  title        = {{{The Semantics of Behavioral VHDL'93 Descriptions}}},
  year         = {{1994}},
}

@inproceedings{39554,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  title        = {{{Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}}},
  year         = {{1994}},
}

@inproceedings{39566,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  booktitle    = {{Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}},
  title        = {{{Parallel Validation of STEP Files}}},
  year         = {{1994}},
}

@inproceedings{39569,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang}},
  title        = {{{Computational Model of a Logical Visual Programming Language}}},
  year         = {{1994}},
}

@inproceedings{39572,
  abstract     = {{The upcoming ISO standard EXPRESS has been de- #ned as a data speci#cation language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS should be extended with.}},
  author       = {{Felser, Winfried and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1994 ASME Computers in Engineering Conference}},
  pages        = {{145--154}},
  title        = {{{EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}}},
  year         = {{1994}},
}

@inproceedings{39578,
  author       = {{Müller, Wolfgang and Kleinjohann, Bernd}},
  booktitle    = {{Proceedings of the Seventh Annual Database Symposium}},
  title        = {{{Tight Integration and Synchronization of Distributed Graphical Applications}}},
  year         = {{1993}},
}

@inproceedings{39580,
  author       = {{Müller, Wolfgang}},
  booktitle    = {{Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}},
  title        = {{{Approaching the Denotational Semantics of Behavioral VHDL Descriptions}}},
  year         = {{1993}},
}

@inproceedings{39579,
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}},
  booktitle    = {{Proceedings of the 3nd EXPRESS User's Group Conference}},
  title        = {{{Parallel Validation of STEP Files}}},
  year         = {{1993}},
}

@inproceedings{39582,
  author       = {{Müller, Wolfgang and Kleinjohann, Bernd}},
  booktitle    = {{Proceedings of the 2nd EXPRESS User's Group Conference}},
  title        = {{{The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments}}},
  year         = {{1992}},
}

@inproceedings{39584,
  author       = {{Müller, Wolfgang}},
  booktitle    = {{Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}},
  title        = {{{Contract-Oriented System Design and Specification}}},
  year         = {{1991}},
}

@inproceedings{39583,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1st EXPRESS User's Group Conference}},
  title        = {{{Validation of EXPRESS Models Using Prolog}}},
  year         = {{1991}},
}

@inproceedings{39585,
  author       = {{Rammig, Franz Josef and Müller, Wolfgang}},
  booktitle    = {{Proc. of the Ninth IFIP Symposium on CHDLs and their Application}},
  title        = {{{ODICE: Object-Oriented Hardware Description in CAD Environment}}},
  year         = {{1989}},
}