APA (7th ed.) Citation

Kuo, D. Model and verification of a data manager based on ARIES. ACM transactions on database systems..

Chicago Style (17th ed.) Citation

Kuo, Dean. "Model and Verification of a Data Manager Based on ARIES." ACM Transactions on Database Systems. .

MLA (9th ed.) Citation

Kuo, Dean. "Model and Verification of a Data Manager Based on ARIES." ACM Transactions on Database Systems., .

Warning: These citations may not always be 100% accurate.