DMCA

Invisible safety of distributed protocols (2006)

Cached

Download Links

by Ittai Balaban , Amir Pnueli , Lenore D. Zuck
Venue:Proc. 33 rd Intl. Coll. on Automata, Languages, and Programming
Citations:3 - 1 self