Search Results for ''

published presentations and documents on DocSlides.

THE TREE PROTOCOL

by myesha-ticknor

By: . Anusha. Edited by: Sri Alluri (313). Introd...

Carnegie Mellon Univ.

by sherrill-nordquist

Dept. of Computer Science. 15-415 - Database Appl...

Automated and Modular Refinement Reasoning

by celsa-spraggs

for Concurrent Programs. Shaz Qadeer. The refinem...