Paper Info
Title
Automated Analysis of Asynchronously Communicating Systems.
Year
Venue
DocType
2016
SPIN
Conference
Citations 
PageRank 
References 
3
0.38
25
Authors
3
Name
Order
Citations
PageRank
Lakhdar Akroun161.46
Gwen Salaün298871.03
Lina Ye3268.75