Model Checking a networked system without the network: http://www.usenix.org/events/nsdi11/tech/full_papers/Guerraoui.pdf …
7:44 AM - 16 Jul 2011
from Westminster, England
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.