Searching for "A Lattice-Structured Proof of a Minimum Spanning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
by Kenneth J. Goldman, Nancy A. Lynch, Nancy A. Lynch, Mark R. Tuttle, Automata Cwiquarterly, Francesmary Modugno, Michael Merritt — 1991
… Lamport, and Nancy Lynch. A lattice-structured proof of a minimum spanning tree algorithm. In Proceedings…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB