Name
Year | DOI | Venue |
|---|---|---|
2012 | 10.14279/tuj.eceasst.53.795 | ECEASST |
Field | DocType | Volume |
Linearizability,Multiset,Computer science,Lock (computer science),Correctness,Automated theorem proving,Thread (computing),Theoretical computer science,Mathematical proof,Linearization | Journal | 53 |
Citations | PageRank | References |
3 | 0.37 | 7 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Oleg Travkin | 1 | 52 | 5.66 |
| Heike Wehrheim | 2 | 1013 | 104.85 |
| Gerhard Schellhorn | 3 | 769 | 56.43 |