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

Cached

Download Links

by Martin Ward
Citations:36 - 25 self