Journals in DBLP

Formal Methods in System Design
2006, volume: 29, number: 1

1. Wan Fokkink, Jun Pang, Jaco van de Pol
   Cones and foci: A mechanical framework for protocol verification. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:29, n:1, pp:1-31 [Journal]
   
2. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
   Performance analysis of probabilistic timed automata using digital clocks. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:29, n:1, pp:33-78 [Journal]
   
3. Nicolas Halbwachs, David Merchat, Laure Gonnord
   Some ways to reduce the space dimension in polyhedra computations. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:29, n:1, pp:79-95 [Journal]
   
4. Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
   On using priced timed automata to achieve optimal scheduling. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:29, n:1, pp:97-114 [Journal]