Journals in DBLP

Formal Asp. Comput.
2003, volume: 14, number: 3

1. John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:199- [Journal]
   
2. Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
   A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:215-227 [Journal]
   
3. Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
   Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:228-246 [Journal]
   
4. Muffy Calder, Alice Miller
   Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:247-266 [Journal]
   
5. Viktor Schuppan, Armin Biere
   Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:267-280 [Journal]
   
6. Colin J. Fidge, Carron Shankland
   But What if I Don't Want to Wait Forever? [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:281-294 [Journal]
   
7. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
   Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:295-318 [Journal]
   
8. Judi Romijn
   False Loop Detection in the IEEE 1394 Tree Identify Phase. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:319-327 [Journal]
   
9. Mariëlle Stoelinga
   Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:328-337 [Journal]