Archive
Year
Volume(Issue)
Issues
Journal Article
Download
فارسی Version
FORMAL VERIFICATION OF A NEW OPTIMISTIC CONCURRENCY CONTROL ALGORITHM FOR TEMPORAL DATABASES
MAKNI A. | BOUAZIZ R. | GARGOURI F.
PROCEEDINGS OF THE ISCA INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND DATA ENGINEERING
Year:
Volume:
Issue:
Pages:
Citations:
Views:
Downloads:
more
View 81