A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases. | Ban | Journal of Computer Science and Cybernetics

Information

Article Tools

Print this article

Indexing metadata

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

User

Language

Journal Content
Browse

About The Authors

Đoàn Văn Ban

Hồ Văn Hương

Notifications

Related Items

Subscription Login to verify subscription

Download this PDF file

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology