Paper Info
Title
HOL-CSP Version 2.0.
Year
Venue
DocType
2019
Archive of Formal Proofs
Journal
Volume
Citations 
PageRank 
2019
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Safouan Taha1556.75
Lina Ye2268.75
Burkhart Wolff320021.28