Modeling and analysis of a time-stamp history based certification protocol for concurrency control

Abstract
No abstract available

This publication has 21 references indexed in Scilit: