Reference : Developing Correctly Replicated Databases Using Formal Tools
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22654
Developing Correctly Replicated Databases Using Formal Tools
English
Schiper, Nicolas [> >]
Rahli, Vincent mailto [Cornell University > Computer Science Department]
Van Renesse, Robbert []
Bickford, Mark [> >]
Constable, Robert L. [> >]
2014
DSN 2014
Yes
DSN 2014
June 2014
http://hdl.handle.net/10993/22654
10.1109/DSN.2014.45
http://dx.doi.org/10.1109/DSN.2014.45
395--406

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
DevelopingCorrectlyReplicatedDatabasesUsingFormalTools.pdfAuthor preprint298.06 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.