Travelled to:
1 × USA
Collaborated with:
M.A.Casanova L.Tucherman
Talks about:
subsystem (1) correct (1) storag (1) local (1)
Person: Arnaldo V. Moura
DBLP: Moura:Arnaldo_V=
Contributed to:
Wrote 1 papers:
- PODS-1985-CasanovaMT #correctness #on the
- On the Correctness of a Local Storage Subsystem (MAC, AVM, LT), pp. 123–134.