Aurore Collomb-Annichini

	2004
2		Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson: Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design 25(1): 39-65 (2004)
	2001
1		Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355

Coauthor Index

1	Parosh Aziz Abdulla	[2]
2	Ahmed Bouajjani	[1] [2]
3	Bengt Jonsson	[2]
4	Yassine Lakhnech	[1]
5	Mihaela Sighireanu	[1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page