Part of the Computer Sciences Commons

Works by Amer Tahat in Computer Sciences

2015

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

Link