User: Guest  Login
Author(s):
Freericks, Markus; Knoll, Alois 
Title:
Formally Correct Translation of DSP Algorithms Specified in an Asynchronous Applicative Language 
Book / Congress title:
International Conference on Acoustics, Proceedings 
Organization:
ICASSP 
Publisher address:
Minneapolis 
Year:
1993