Paper Info
Title
Barriers in Concurrent Separation Logic: Now With Tool Support!
Year
DOI
Venue
2012
10.2168/LMCS-8(2:2)2012
Logical Methods in Computer Science
DocType
Volume
Citations 
Journal
8
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Aquinas Hobor124317.42
Cristian Gherghina200.34