Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.”https://doi.org/10.1109/DATE.2004.1269214__In Proceedings of DATE’04 Designers’ Forum. Paris, 2004.https://doi.org/10.1109/DATE.2004.1269214 .
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214