Journals in DBLP

Formal Asp. Comput.
2007, volume: 19, number: 1

1. John Cooke
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:1, pp:1- [Journal]
   
2. Jane Hillston, Leïla Kloul
   Formal techniques for performance analysis: blending SAN and PEPA. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:1, pp:3-33 [Journal]
   
3. Nikos Gorogiannis, Mark Ryan
   Minimal refinements of specifications in model and termporal logics. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:1, pp:35-62 [Journal]
   
4. David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
   Verifying a signature architecture: a comparative case study. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:1, pp:63-91 [Journal]
   
5. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
   Parametric probabilistic transition systems for system design and analysis. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:1, pp:93-109 [Journal]
   
6. Alan Burns, Tse-Min Lin
   An engineering process for the verification of real-time systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:1, pp:111-136 [Journal]