Journals in DBLP

Formal Methods in System Design
1994, volume: 5, number: 3

1. Shuvra S. Bhattacharyya, Edward A. Lee
   Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:5, n:3, pp:183-205 [Journal]
   
2. David M. Goldschlag
   Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:5, n:3, pp:207-225 [Journal]
   
3. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
   A Structural Linearization Principle for Processes. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:5, n:3, pp:227-244 [Journal]
   
4. Radhakrishna Nagalla, Graham R. Hellestrand
   Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:5, n:3, pp:245-273 [Journal]