Hassen Kacem

	2009
2		Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR abs/0907.3123: (2009)
	2001
1		Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR cs.PL/0109024: (2001)

Coauthor Index

1	Emmanuel Beffara	[1] [2]
2	Olivier Bournez	[1] [2]
3	Claude Kirchner	[1] [2]