Alexander Krupp, Wolfgang Müller 0003, Ian Oliver. Formal Refinement and Model Checking of an Echo Cancellation Unit. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 102-107, IEEE Computer Society, 2004. [doi]
Abstract is missing.