External Links

    Journal: Information \& Software Technology

    Volume 42, Issue 4

    229 -- 244Wen Chien Liu, Chyan-Goei Chung. Path-based protocol verification approach
    245 -- 255Wen Chien Liu, Chyan-Goei Chung. Symbolic path-based protocol verification
    257 -- 273N. B. Al-Jumah, Hossam S. Hassanein, Mohamed E. El-Sharkawi. Implementation and modeling of two-phase locking concurrency controla performance study
    275 -- 280Q. Charatan. MOOV++: modular object-oriented VDM
    281 -- 291Alfonso Fuggetta, Maria Letizia Jaccheri. Dynamic partitioning of complex process models
    runs on