Search - Topics in Theoretical Computer Science Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 1030362
Image document

Design and Validation of Cloud Storage Systems Using Formal Methods

Peter Csaba Ölveczky
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.3-8, ⟨10.1007/978-3-319-68953-1_1⟩
Conference papers hal-01760637v1