Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices Beom Heyn Kim∗ and David Lie† ∗ Department † Department - Network file systems - Document - PDFSEARCH.IO

First Page	Meta Content
	Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices Beom Heyn Kim∗ and David Lie† ∗ Department † Department Add to Reading List Document Date: 2015-03-18 13:54:53 Open Document File Size: 534,17 KB Share Result on Facebook

Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices Beom Heyn Kim∗ and David Lie† ∗ Department † DepartmentAdd to Reading List