|
Journals in DBLP
- 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]
- 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]
- 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]
- Q. Charatan
MOOV++: modular object-oriented VDM. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2000, v:42, n:4, pp:275-280 [Journal]
- 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]
|