Part of the Physical Sciences and Mathematics Commons

Works by Amer Tahat in Physical Sciences and Mathematics

2015

A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols, Amer Tahat, Ali Ebnenasir
Michigan Tech Publications

Link