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

Ekaterina Pavlova, Dang Van Hung

Browse the full APSEC paper archive.