A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (Extended Abstract) (1988)

by Jennifer Lundelius Welch , Nancy Lynch
Venue:Laboratory for Computer Science, Massachusetts Institute of Technology
Citations:14 - 4 self