Paper Info
Title
VERIFAS: A Practical Verifier for Artifact Systems.
Year
Venue
DocType
2018
International Conference on Very Large Data Bases
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Yuliang Li15416.90
Alin Deutsch22267247.45
Victor Vianu335541026.26