Year | DOI | Venue |
---|---|---|
2013 | 10.2168/LMCS-9(3:24)2013 | Logical Methods in Computer Science |
DocType | Volume | Citations |
Journal | 9 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joël Ouaknine | 1 | 1481 | 99.25 |
Hristina Palikareva | 2 | 0 | 0.34 |
A. W. Roscoe | 3 | 31 | 25.90 |
James Worrell | 4 | 1040 | 81.17 |