---
_id: '39582'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New
    Approach to Graphical Design Environments. In: <i>Proceedings of the 2nd EXPRESS
    User’s Group Conference</i>. ; 1992.'
  apa: Müller, W., &#38; Kleinjohann, B. (1992). The EXPRESS Information Modeling
    Workbench - A New Approach to Graphical Design Environments. <i>Proceedings of
    the 2nd EXPRESS User’s Group Conference</i>.
  bibtex: '@inproceedings{Müller_Kleinjohann_1992, place={Dallas TX}, title={The EXPRESS
    Information Modeling Workbench - A New Approach to Graphical Design Environments},
    booktitle={Proceedings of the 2nd EXPRESS User’s Group Conference}, author={Müller,
    Wolfgang and Kleinjohann, Bernd}, year={1992} }'
  chicago: Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling
    Workbench - A New Approach to Graphical Design Environments.” In <i>Proceedings
    of the 2nd EXPRESS User’s Group Conference</i>. Dallas TX, 1992.
  ieee: W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench
    - A New Approach to Graphical Design Environments,” 1992.
  mla: Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling
    Workbench - A New Approach to Graphical Design Environments.” <i>Proceedings of
    the 2nd EXPRESS User’s Group Conference</i>, 1992.
  short: 'W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group
    Conference, Dallas TX, 1992.'
date_created: 2023-01-24T12:29:15Z
date_updated: 2023-01-24T12:29:20Z
department:
- _id: '672'
language:
- iso: eng
place: Dallas TX
publication: Proceedings of the 2nd EXPRESS User's Group Conference
status: public
title: The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design
  Environments
type: conference
user_id: '5786'
year: '1992'
...
---
_id: '39584'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Müller W. Contract-Oriented System Design and Specification. In: <i>Proceedings
    of the Workshop on Practical Computer Based Systems Engineering - Its Scope and
    Methods</i>. ; 1991.'
  apa: Müller, W. (1991). Contract-Oriented System Design and Specification. <i>Proceedings
    of the Workshop on Practical Computer Based Systems Engineering - Its Scope and
    Methods</i>.
  bibtex: '@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented
    System Design and Specification}, booktitle={Proceedings of the Workshop on Practical
    Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang},
    year={1991} }'
  chicago: Müller, Wolfgang. “Contract-Oriented System Design and Specification.”
    In <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering
    - Its Scope and Methods</i>. Grassau Germany, 1991.
  ieee: W. Müller, “Contract-Oriented System Design and Specification,” 1991.
  mla: Müller, Wolfgang. “Contract-Oriented System Design and Specification.” <i>Proceedings
    of the Workshop on Practical Computer Based Systems Engineering - Its Scope and
    Methods</i>, 1991.
  short: 'W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems
    Engineering - Its Scope and Methods, Grassau Germany, 1991.'
date_created: 2023-01-24T12:31:16Z
date_updated: 2023-01-24T12:31:20Z
department:
- _id: '672'
language:
- iso: eng
place: Grassau Germany
publication: Proceedings of the Workshop on Practical Computer Based Systems Engineering
  - its Scope and Methods
status: public
title: Contract-Oriented System Design and Specification
type: conference
user_id: '5786'
year: '1991'
...
---
_id: '39583'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: <i>Proceedings
    of the 1st EXPRESS User’s Group Conference</i>. ; 1991.'
  apa: Lehrenfeld, G., &#38; Müller, W. (1991). Validation of EXPRESS Models Using
    Prolog. <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>.
  bibtex: '@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation
    of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s
    Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991}
    }'
  chicago: Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using
    Prolog.” In <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>. Houston
    TX, USA, 1991.
  ieee: G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,”
    1991.
  mla: Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using
    Prolog.” <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>, 1991.
  short: 'G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group
    Conference, Houston TX, USA, 1991.'
date_created: 2023-01-24T12:30:24Z
date_updated: 2023-01-24T12:30:29Z
department:
- _id: '672'
language:
- iso: eng
place: Houston TX, USA
publication: Proceedings of the 1st EXPRESS User's Group Conference
status: public
title: Validation of EXPRESS Models Using Prolog
type: conference
user_id: '5786'
year: '1991'
...
---
_id: '39585'
author:
- first_name: Franz Josef
  full_name: Rammig, Franz Josef
  last_name: Rammig
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment.
    In: <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>. ;
    1989.'
  apa: 'Rammig, F. J., &#38; Müller, W. (1989). ODICE: Object-Oriented Hardware Description
    in CAD Environment. <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>.'
  bibtex: '@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE:
    Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of
    the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz
    Josef and Müller, Wolfgang}, year={1989} }'
  chicago: 'Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware
    Description in CAD Environment.” In <i>Proc. of the Ninth IFIP Symposium on CHDLs
    and Their Application</i>. Washington DC, 1989.'
  ieee: 'F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description
    in CAD Environment,” 1989.'
  mla: 'Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware
    Description in CAD Environment.” <i>Proc. of the Ninth IFIP Symposium on CHDLs
    and Their Application</i>, 1989.'
  short: 'F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and
    Their Application, Washington DC, 1989.'
date_created: 2023-01-24T12:33:02Z
date_updated: 2023-01-24T12:33:06Z
department:
- _id: '672'
language:
- iso: eng
place: Washington DC
publication: Proc. of the Ninth IFIP Symposium on CHDLs and their Application
status: public
title: 'ODICE: Object-Oriented Hardware Description in CAD Environment'
type: conference
user_id: '5786'
year: '1989'
...