default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 5

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 5, Number 1/2, July 1994

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Busch94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Busch94
Holger Busch:
Rule-Based Induction. 7-33
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Harrison94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Harrison94
John Harrison:
Constructing the Real Numbers in HOL. 35-59
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AngeloCM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AngeloCM94
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man:
Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL. 61-94
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AagaardL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AagaardL94
Mark D. Aagaard, Miriam Leeser:
A Methodology for Efficient Hardware Verification. 95-117
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Kalvala94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Kalvala94
Saraswati Kalvala:
Annotations in Formal Specifications and Proofs. 119-144
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SchneiderKK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SchneiderKK94
Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Accelerating Tableaux Proofs Using Compact Representations. 145-176

Volume 5, Number 3, December 1994

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BhattacharyyaL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BhattacharyyaL94
Shuvra S. Bhattacharyya, Edward A. Lee:
Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. 183-205
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Goldschlag94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Goldschlag94
David M. Goldschlag:
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. 207-225
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KurshanMOS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KurshanMOS94
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs:
A Structural Linearization Principle for Processes. 227-244
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/NagallaH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/NagallaH94
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.