Safe Replication through Bounded Concurrency Verification Journal Article uri icon

Overview

publication date

  • November 1, 2018

Date in CU Experts

  • October 21, 2020 10:40 AM

Full Author List

  • Kaki G; Earanky K; Sivaramakrishnan KC; Jagannathan S

author count

  • 4

citation count

  • 3

Other Profiles

Electronic International Standard Serial Number (EISSN)

  • 2475-1421

Additional Document Info

volume

  • 2

number

  • ARTN 164