Title
基于数据库事务的不变式推导 (Deriving Invariants from Database Transactions).
Year
DOI
Venue
2018
10.11896/j.issn.1002-137X.2017.11.014
计算机科学
DocType
Volume
Issue
Journal
44
11
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Hongchi Zeng100.34
Xin Peng259967.59
Wenyun Zhao352654.45