发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Automatic verification of database transaction safety

Automatic verification of database transaction safety

Sheard, Tim; Stemple, David
  • 期刊名称ACM Transactions on Database Systems
  • 作者Sheard, Tim; Stemple, David
  • 卷第14卷
  • 期第3期
  • 印刷ISSN0362-5915
  • 文件大小3259.99KB
  • 发表时间1989-9-1
  • DOI10.1145/68012.68014
  • 页码322-368
← 返回【学霸图书馆】主页