Moez Mahfoudh

	2002
2		Oded Maler, Bruce H. Krogh, Moez Mahfoudh: On Control with Bounded Computational Resources. FTRTFT 2002: 147-164
1		Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244

Coauthor Index

1	Eugene Asarin	[1]
2	Marius Bozga	[1]
3	Navendu Jain	[1]
4	Bruce H. Krogh	[2]
5	Oded Maler	[1] [2]
6	Peter Niebert	[1]