Étienne André

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Étienne André: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC 2009: 336-342

2008

1 Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008)

	2009
2		Étienne André: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC 2009: 336-342
	2008
1		Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008)

Coauthor Index

1	Thomas Chatain	[1]
2	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[1]
3	Laurent Fribourg	[1]