Journals in DBLP

Formal Asp. Comput.
1995, volume: 7, number: 5

1. Peter B. Ladkin, Stefan Leue
   Interpreting Message Flow Graphs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:5, pp:473-509 [Journal]
   
2. Zhiming Liu, Mathai Joseph, Tomasz Janowski
   Verification of Schedulability for Real-Time Programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:5, pp:510-532 [Journal]
   
3. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
   METATEM: An Introduction. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:5, pp:533-549 [Journal]
   
4. Kai Engelhardt, Willem P. de Roever
   Towards a Practitioners' Approach to Abadi and Lamport's Method. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:5, pp:550-575 [Journal]
   
5. K. Rustan M. Leino
   A Method for Showing Progress. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:5, pp:576-580 [Journal]