Formal model for verifying compatibility among transactions
Author:
Farrag,
AA.
Published in:
Proceedings of the Annual Southeastern Symposium on System Theory,
pp.
76
Date:
1994
DOI:
No full text online options
Search for a print option via the Library Catalogue: