Journals in DBLP

Formal Asp. Comput.
2005, volume: 17, number: 3

1. John Cooke
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:3, pp:259-259 [Journal]
   
2. Sigrid Gürgens, Carsten Rudolph
   Security analysis of efficient (Un-)fair non-repudiation protocols. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:3, pp:260-276 [Journal]
   
3. Andrew D. Gordon, Riccardo Pucella
   Validating a web service security abstraction by typing. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:3, pp:277-318 [Journal]
   
4. Martin De Wulf, Laurent Doyen, Jean-François Raskin
   Almost ASAP semantics: from timed models to timed implementations. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:3, pp:319-341 [Journal]
   
5. Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
   Verification of a sliding window protocol in µCRL and PVS. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:3, pp:342-388 [Journal]