Real-time atomic transaction processing using multi-invariant data structures
| Title | Real-time atomic transaction processing using multi-invariant data structures |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Yen, I. L., I. - R. Chen, and B. Chen |
| Conference Name | 4th IEEE Symposium on High Assurance Systems Engineering |
| Date Published | November 1999 |
| Conference Location | Washington DC |