Paper Info
Title
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness.
Year
DOI
Venue
2020
10.1007/978-3-030-48077-6_11
ABZ
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Sarah Benyagoub111.72
Yamine Aït Ameur228752.61
Klaus-dieter Schewe31367202.78