Journals in DBLP

Comput. J.
2000, volume: 43, number: 3

1. Ian Holyer, Hüseyin Pehlivan
   A Recovery Mechanism for Shells. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2000, v:43, n:3, pp:168-176 [Journal]
   
2. Tatiana Tambouratzis
   Counter-clustering for Training Pattern Selection. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2000, v:43, n:3, pp:177-190 [Journal]
   
3. Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
   Formally Verifying Fault Tolerant System Designs. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2000, v:43, n:3, pp:191-205 [Journal]
   
4. Samir M. Koriem
   A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2000, v:43, n:3, pp:206-223 [Journal]
   
5. Søren Christensen, Laure Petrucci
   Modular Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2000, v:43, n:3, pp:224-242 [Journal]
   
6. Cyril Gavoille
   On the Dilation of Interval Routing. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2000, v:43, n:3, pp:243-249 [Journal]