Inproceedings,

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).

, , and .
ATVA, volume 9364 of Lecture Notes in Computer Science, page 293-308. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews