@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}},
}