Houda Bel Mokadem

	2006
2		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: Timed Temporal Logics for Abstracting Transient States. ATVA 2006: 337-351
	2005
1		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR 2005: 110-124

Coauthor Index

1	Béatrice Bérard	[1] [2]
2	Patricia Bouyer	[1] [2]
3	François Laroussinie	[1] [2]