Distributed Computation of a Spanning Tree in a Dynamic Graph by Mobile Agents | IEEE Conference Publication | IEEE Xplore