| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/80/6899 +
, https://dblp.org/pid/85/7433 +
, https://dblp.org/pid/245/3599 +
, https://dblp.org/pid/15/4393 +
, https://dblp.org/pid/83/1259 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/80/6899 +
, https://dblp.org/pid/85/7433 +
, https://dblp.org/pid/245/3599 +
, https://dblp.org/pid/15/4393 +
, https://dblp.org/pid/83/1259 +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1016/J.TCS.2022.09.015 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1016/J.TCS.2022.09.015 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/tcs/tcs936 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
5
|
| https://dblp.org/rdf/schema#pagination
|
43-76
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1016/J.TCS.2022.09.015 +
|
| https://dblp.org/rdf/schema#publishedIn
|
Theor. Comput. Sci.
|
| https://dblp.org/rdf/schema#publishedInJournal
|
Theor. Comput. Sci.
|
| https://dblp.org/rdf/schema#publishedInJournalVolume
|
936
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/journals/tcs +
|
| https://dblp.org/rdf/schema#title
|
Reasoning about block-based cloud storage systems via separation logic.
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2022
|
| owl:sameAs |
https://doi.org/10.1016/J.TCS.2022.09.015 +
, http://dx.doi.org/10.1016/J.TCS.2022.09.015 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Article +
|
| rdfs:label |
Zhao Jin et al.: Reasoning about block-based cloud storage systems via separation logic. (2022)
|
