Login / Signup

Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm.

Walter Guttmann
Published in: ICTAC (2016)
Keyphrases