External Links

    Journal: Comput. J.

    Volume 43, Issue 3

    168 -- 176Ian Holyer, Hüseyin Pehlivan. A Recovery Mechanism for Shells
    177 -- 190Tatiana Tambouratzis. Counter-clustering for Training Pattern Selection
    191 -- 205Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini. Formally Verifying Fault Tolerant System Designs
    206 -- 223Samir M. Koriem. A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems
    224 -- 242Søren Christensen, Laure Petrucci. Modular Analysis of Petri Nets
    243 -- 249Cyril Gavoille. On the Dilation of Interval Routing
    runs on