Login / Signup

Parameterized verification of algorithms for oblivious robots on a ring.

Arnaud SangnierNathalie SznajderMaria Potop-ButucaruSébastien Tixeuil
Published in: FMCAD (2017)
Keyphrases