Publications Home » Authors » Mr Pedro da Rocha Pinto
Authors
Mr Pedro da Rocha Pinto
1 publication for this author.
Master's Thesis
- Reasoning about Concurrent Indexes
![[PDF]](/decor/icon-pdf-mini.png)
- Pedro da Rocha Pinto
- Imperial College London
- September, 2010
BibTeX file for this publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.