A Formal Specification of the Concurrency Control in Real-Time Databases

Ekaterina Pavlova, Dang Van Hung. A Formal Specification of the Concurrency Control in Real-Time Databases. In 6th Asia-Pacific Software Engineering Conference (APSEC 99), 7-10 December 1999, Takamatsu, Japan. pages 94-101, IEEE Computer Society, 1999. [doi]

Abstract

Abstract is missing.