Mouhammad Sakr
Mouhammad Sakr
Affiliation: American University of Beirut
Pages in this Program
TACO: A Toolsuite for the Verification of Threshold Automata
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑