The SCEAS System
Navigation Menu

Journals in DBLP

Information & Software Technology
2000, volume: 42, number: 4

  1. Wen Chien Liu, Chyan-Goei Chung
    Path-based protocol verification approach. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:4, pp:229-244 [Journal]
  2. Wen Chien Liu, Chyan-Goei Chung
    Symbolic path-based protocol verification. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:4, pp:245-255 [Journal]
  3. N. B. Al-Jumah, Hossam S. Hassanein, Mohamed E. El-Sharkawi
    Implementation and modeling of two-phase locking concurrency controla performance study. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:4, pp:257-273 [Journal]
  4. Q. Charatan
    MOOV++: modular object-oriented VDM. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:4, pp:275-280 [Journal]
  5. Alfonso Fuggetta, Maria Letizia Jaccheri
    Dynamic partitioning of complex process models. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:4, pp:281-291 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002