default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 5
Volume 5, Number 1/2, July 1994
- Holger Busch:
Rule-Based Induction. 7-33 - John Harrison:
Constructing the Real Numbers in HOL. 35-59 - Catia M. Angelo, Luc J. M. Claesen, Hugo De Man:
Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL. 61-94 - Mark D. Aagaard, Miriam Leeser
:
A Methodology for Efficient Hardware Verification. 95-117 - Saraswati Kalvala:
Annotations in Formal Specifications and Proofs. 119-144 - Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Accelerating Tableaux Proofs Using Compact Representations. 145-176
Volume 5, Number 3, December 1994
- Shuvra S. Bhattacharyya, Edward A. Lee:
Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. 183-205 - David M. Goldschlag:
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. 207-225 - Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs:
A Structural Linearization Principle for Processes. 227-244 - Radhakrishna Nagalla, Graham R. Hellestrand:
Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays. 245-273
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
