Path-based protocol verification approach
W. C. Liu, C. G. Chung
págs. 229-244
Symbolic path-based protocol verification
W. C. Liu, C. G. Chung
págs. 245-255
Implementation and modeling of two-phase locking concurrency control-a performance study
N. B. Al-Jumah, H. S. Hassanein
págs. 257-273
MOOV++: modular object-oriented VDM
Q. Charatan
págs. 275-280
Dynamic partitioning of complex process models
A. Fuggetta, M. L. Jaccheri
págs. 281-291
© 2001-2024 Fundación Dialnet · Todos los derechos reservados