Real-time atomic transaction processing using multi-invariant data structures

TitleReal-time atomic transaction processing using multi-invariant data structures
Publication TypeConference Paper
Year of Publication1999
AuthorsYen, I. L., I. - R. Chen, and B. Chen
Conference Name4th IEEE Symposium on High Assurance Systems Engineering
Date PublishedNovember 1999
Conference LocationWashington DC