
Journals in DBLP
 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:349358 [Journal]
 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:359378 [Journal]
 Ralf Kneuper
Limits of Formal Methods. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:4, pp:379394 [Journal]
 Mark B. Josephs, Andrew M. Bailey
The Use of SIAlgebra in the Design of Sequencer Circuits. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:4, pp:395408 [Journal]
 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:409424 [Journal]
 Christel Baier, Mila E. MajsterCederbaum
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:425445 [Journal]
