---
_id: '33830'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. Refinement of Finite State Machines with Complementary
    Model Checking. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic
    Design</i>. Kluwer; 2004:155-168.'
  apa: Krupp, A., &#38; Müller, W. (2004). Refinement of Finite State Machines with
    Complementary Model Checking. In J. Mermet (Ed.), <i>UML-B System Specification
    for Proven Electronic Design</i> (pp. 155–168). Kluwer.
  bibtex: '@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite
    State Machines with Complementary Model Checking}, booktitle={UML-B System Specification
    for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and
    Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }'
  chicago: 'Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
    with Complementary Model Checking.” In <i>UML-B System Specification for Proven
    Electronic Design</i>, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.'
  ieee: 'A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary
    Model Checking,” in <i>UML-B System Specification for Proven Electronic Design</i>,
    J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.'
  mla: Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
    with Complementary Model Checking.” <i>UML-B System Specification for Proven Electronic
    Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
  short: 'A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for
    Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.'
date_created: 2022-10-20T09:54:53Z
date_updated: 2022-10-20T09:56:28Z
department:
- _id: '672'
editor:
- first_name: J.
  full_name: Mermet, J.
  last_name: Mermet
language:
- iso: eng
page: 155-168
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
  isbn:
  - 1-4020-2866-0
publisher: Kluwer
status: public
title: Refinement of Finite State Machines with Complementary Model Checking
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33832'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Ian
  full_name: Oliver, Ian
  last_name: Oliver
citation:
  ama: 'Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet
    J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer;
    2004:227-240.'
  apa: Krupp, A., Müller, W., &#38; Oliver, I. (2004). The Echo Cancellation Unit
    Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic
    Design</i> (pp. 227–240). Kluwer.
  bibtex: '@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation
    Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic
    Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and
    Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }'
  chicago: 'Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation
    Unit Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>,
    edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.'
  ieee: 'A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,”
    in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet,
    Ed. Dordrecht: Kluwer, 2004, pp. 227–240.'
  mla: Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” <i>UML-B
    System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer,
    2004, pp. 227–40.
  short: 'A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification
    for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.'
date_created: 2022-10-20T09:59:04Z
date_updated: 2022-10-20T09:59:24Z
department:
- _id: '672'
editor:
- first_name: J.
  full_name: Mermet, J.
  last_name: Mermet
language:
- iso: eng
page: 227-240
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
  isbn:
  - 1-4020-2866-0
publisher: Kluwer
status: public
title: The Echo Cancellation Unit Case Study
type: book_chapter
user_id: '5786'
year: '2004'
...