Journals in DBLP

Sci. Comput. Program.
1986, volume: 7, number: 1

1. Thomas A. Joseph, Thomas Räuchle, Sam Toueg
   State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1986, v:7, n:1, pp:1-22 [Journal]
   
2. M. van der Nat, Alex A. Verrijn-Stuart
   Analysing a Class of Distributive Partitioning Sort Algorithms. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1986, v:7, n:1, pp:23-33 [Journal]
   
3. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
   Algebraic Implementations Preserve Program Correctness. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1986, v:7, n:1, pp:35-53 [Journal]
   
4. Jan L. A. van de Snepscheut
   A Derivation of a Distributed Implementation of Warshall's Algorithm. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1986, v:7, n:1, pp:55-60 [Journal]
   
5. Frédéric Voisin
   CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1986, v:7, n:1, pp:61-86 [Journal]
   
6. Martin Rem
   Small Programming Exercises 12. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1986, v:7, n:1, pp:87-97 [Journal]