Communications in Computer and Information Sciences(CCIS), Vol 306, , Springer-Verlag, Berlin-Heidelberg

---

Rigorous Design of Lazy Replication System Using Event B

• Read more about Rigorous Design of Lazy Replication System Using Event B

Subscribe to Communications in Computer and Information Sciences(CCIS), Vol 306, , Springer-Verlag, Berlin-Heidelberg