TY  - RPRT
TI  - Theory and Techniques for Synthesizing a Family of Graph Algorithms
AU  - Srinivas Nedunuri
AU  - William R. Cook
AU  - Douglas R. Smith
PY  - 2012
DO  - 10.4204/eptcs.84.3
UR  - https://arxiv.org/abs/1207.0869
ID  - 1207.0869
ER  -