QConSF2015 icon indicating copy to clipboard operation
QConSF2015 copied to clipboard
verified publisher icon Randommood

"The Verification of a Distributed System" is missing its URL

Open dpwolfe opened this issue 10 years ago • 2 comments

Of all the papers, that was the one I wanted to read the most. Hope next week is great!

dpwolfe avatar Nov 15 '15 06:11 dpwolfe

@dpwolfe it should be published soon!

CaitieM20 avatar Nov 15 '15 06:11 CaitieM20

@CaitieM20 Awesome!

dpwolfe avatar Nov 15 '15 18:11 dpwolfe