Back
  1. Home
  3. Detailed Reference
Request a copy
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Developing Correctly Replicated Databases Using Formal Tools
Schiper, Nicolas; RAHLI, Vincent; Van Renesse, Robbert et al.
2014 • In DSN 2014
Peer reviewed
Permalink
https://hdl.handle.net/10993/22654
DOI
10.1109/DSN.2014.45
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
DevelopingCorrectlyReplicatedDatabasesUsingFormalTools.pdf
Author preprint (305.21 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Schiper, Nicolas
RAHLI, Vincent ;  Cornell University > Computer Science Department
Van Renesse, Robbert
Bickford, Mark
Constable, Robert L.
External co-authors :
yes
Language :
English
Title :
Developing Correctly Replicated Databases Using Formal Tools
Publication date :
2014
Event name :
DSN 2014
Event date :
June 2014
Main work title :
DSN 2014
Peer reviewed :
Peer reviewed
Additional URL :
http://dx.doi.org/10.1109/DSN.2014.45
Commentary :
395--406
Available on ORBilu :
since 30 November 2015

Statistics

Number of views
46 (5 by Unilu)
Number of downloads
1 (1 by Unilu)
More statistics
Scopus citations®
 
30
Scopus citations®
without self-citations
24
OpenAlex citations
 
30
WoS citations™
 
19

Bibliography

Similar publications


Contact ORBilu