Search - Topics in Theoretical Computer Science

1 Array

level0_domain_s : Computer Science [cs]

	For these 1 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More