Error analysis of digital filters using HOL theorem proving

Journal of Applied Logic 5 (4):651-666 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2016-06-30

Downloads
28 (#837,946)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?