Journals in DBLP

Formal Asp. Comput.
1996, volume: 8, number: 5

1. Nancy A. Lynch, Frits W. Vaandrager
   Action Transducers and Timed Automata. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:5, pp:499-538 [Journal]
   
2. Christoph Beierle, Egon Börger
   Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:5, pp:539-564 [Journal]
   
3. J. Michael Spivey
   Richer Types for Z. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:5, pp:565-584 [Journal]
   
4. Scott A. Smolka, Bernhard Steffen
   Priority as Extremal Probability. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:5, pp:585-606 [Journal]
   
5. Susanne Graf, Bernhard Steffen, Gerald Lüttgen
   Compositional Minimisation of Finite State Systems Using Interface Specifications. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:5, pp:607-616 [Journal]