Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-03077-7_22 | Haifa Verification Conference |
DocType | Citations | PageRank |
Conference | 3 | 0.47 |
References | Authors | |
10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maciej J. Ciesielski | 1 | 629 | 74.80 |
Walter Brown | 2 | 47 | 3.10 |
André Rossi | 3 | 3 | 0.81 |