Hassen Kacem

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
Verification of Timed Automata Using Rewrite Rules and Strategies CoRR (2009)
Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
Verification of Timed Automata Using Rewrite Rules and Strategies CoRR (2001)