9 months ago
Model Checking of Randomized Leader Election Algorithms
8 years ago
Q+A Model Checking of Randomized Leader Election Algorithms
Here are all of the videos that dball has uploaded to Vimeo. Appearances are videos that dball has been credited in by others.
More stuff from dball
TM + © 2015 Vimeo, LLC. All rights reserved.
Made with k in NYC.
Your content preferences apply to any Vimeo videos you view. Learn more about content preferences in our FAQ.