Modeling of Multiversion Concurrency Control System Using Event-B.

Raghuraj Suryavanshi, Divakar Yadav

Browse the full FedCSIS paper archive.