Skip to content

Formal Refinement and Model Checking of an Echo Cancellation Unit.

Alexander Krupp, Wolfgang Mller, Ian Oliver

VenueADATE
Year2004
ProceedingsDATE

Browse the full DATE paper archive.