Reference : EventML: Specification, Verification, and Implementation of Crash-Tolerant State Mach...
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/33892
EventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Guaspari, David [> >]
Bickford, Mark [> >]
Constable, Robert [> >]
2017
Science of Computer Programming
Elsevier Science
Yes (verified by ORBilu)
0167-6423
http://hdl.handle.net/10993/33892
10.1016/j.scico.2017.05.009
FnR ; FNR8149128 > Paulo Esteves-VerĂ­ssimo > IISD > Strategic Rtnd Program On Information Infrastructure Security And Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
two-thirds-consensus-journal.pdfAuthor preprint496.99 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.