Name
Year | Venue | Keywords |
|---|---|---|
2015 | International Colloquium on Theoretical Aspects of Computing | model checking,ccs,games,bisimulation |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 8 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jesper Rank Andersen | 1 | 0 | 0.68 |
| Nicklas Andersen | 2 | 0 | 0.68 |
| Søren Enevoldsen | 3 | 3 | 2.76 |
| Mathias M. Hansen | 4 | 0 | 0.34 |
| Kim G. Larsen | 5 | 3922 | 254.03 |
| Simon R. Olesen | 6 | 0 | 0.34 |
| Jirí Srba | 7 | 252 | 28.68 |
| Jacob K. Wortmann | 8 | 0 | 0.34 |