Publications

Home
Publications

1 result for Peter W. O'Hearn

Verifying linearizability with Hindsight
- - Peter W. O'Hearn
  - Noam Rinetzky
  - et al.
- 2010
- PODC 2010
Conference paper

Date

Start

End

Featured collections

Popular topics