- Titel:
Formally Correct Translation of DSP Algorithms Specified in an Asynchronous Applicative Language
- Autor(en):
- Freericks, Markus; Knoll, Alois
- Kongress- / Buchtitel:
- International Conference on Acoustics, Proceedings
- Ausrichter der Konferenz:
- ICASSP
- Verlagsort:
- Minneapolis
- Jahr:
- 1993
- BibTeX