Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hồ Văn Hương

A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases.

Journal of Computer Science and Cybernetics

English