Model and Verification of a Data Manager Based on ARIES.

Dean Kuo

Browse the full ICDT paper archive.