Journals in DBLP

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

1. Giuseppe Castagna
   Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:3, pp:247-293 [Journal]
   
2. Ping Zhou, Jozef Hooman, Ruurd Kuiper
   Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:3, pp:294-323 [Journal]
   
3. Ralph-Johan Back, Kaisa Sere
   Superposition Refinement of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:3, pp:324-346 [Journal]
   
4. Roger Duke, Cecily Bailes, Graeme Smith
   A Blocking Model for Reactive Objects. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:3, pp:347-368 [Journal]
   
5. J. Michael Spivey
   The Consistency Theorem for Free Type Definitions in Z. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:3, pp:369-375 [Journal]