A Temporal Framework for Database Specification and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Chenho Kung. A Temporal Framework for Database Specification and Verification. In Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng, editors, Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. pages 91-99, Morgan Kaufmann, 1984. [doi]

This author has not been identified. Look up 'David Chenho Kung' in Google

runs on WebDSL