Login / Signup

Parameterized verification of algorithms for oblivious robots on a ring.

Arnaud SangnierNathalie SznajderMaria Potop-ButucaruSébastien Tixeuil
Published in: Formal Methods Syst. Des. (2020)
Keyphrases