Name
Year | Venue | Keywords |
|---|---|---|
2009 | PDPTA | model checking |
Field | DocType | Citations |
Mutual exclusion algorithms,Ricart–Agrawala algorithm,Suzuki-Kasami algorithm,Model checking,Computer science,Parallel computing,Theoretical computer science,Security token,Distributed computing | Conference | 1 |
PageRank | References | Authors |
0.37 | 0 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mitchell L. Neilsen | 1 | 132 | 17.11 |