Derivation of Data Intensive Algorithms by Formal Transformation: The Schorr-Waite Graph Marking Algorithm (1996)

Cached

Download Links

by Martin Ward
Citations:38 - 26 self