Journals in DBLP

Formal Asp. Comput.
1997, volume: 9, number: 4

1. Colin O'Halloran, R. D. Arthan, D. King
   Using a Formal Specification Contractually. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:4, pp:349-358 [Journal]
   
2. Charanjit S. Jutla, Josyula R. Rao
   A Methodology for Designing Proof Rules for Fair Parallel Programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:4, pp:359-378 [Journal]
   
3. Ralf Kneuper
   Limits of Formal Methods. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:4, pp:379-394 [Journal]
   
4. Mark B. Josephs, Andrew M. Bailey
   The Use of SI-Algebra in the Design of Sequencer Circuits. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:4, pp:395-408 [Journal]
   
5. Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
   Petri Net Based Verification of Distributed Algorithms: An Example. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:4, pp:409-424 [Journal]
   
6. Christel Baier, Mila E. Majster-Cederbaum
   The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:4, pp:425-445 [Journal]