Ehsan Khamespanah
Ehsan Khamespanah
Affiliation: University of Tehran, Iran
Pages in this Program
Compositional Verification of Timed Automata via Violation Assumptions
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑