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]

Authors

Ekaterina Pavlova

This author has not been identified. Look up 'Ekaterina Pavlova' in Google

Dang Van Hung

This author has not been identified. Look up 'Dang Van Hung' in Google