Moez Mahfoudh

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Oded Maler, Bruce H. Krogh, Moez Mahfoudh
On Control with Bounded Computational Resources. FTRTFT (2002)
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
Verification of Timed Automata via Satisfiability Checking. FTRTFT (2002)