Document is current

Any future updates will be listed below

A Separation Logic for Sequences in Block-Based Cloud Storage Systems and Its Decidability

Crossref DOI link: https://doi.org/10.1007/s11390-025-4684-9

Published Online: 2026-01-14

Published Print: 2025-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark