Anne Rasse

	1997
3		Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. HART 1997: 346-360
	1992
2		Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259
	1991
1		Anne Rasse: Error Diagnosis in Finite Communicating Systems. CAV 1991: 114-124

Coauthor Index

1	Eugene Asarin	[3]
2	Marius Bozga	[3]
3	Jean-Claude Fernandez	[2]
4	Hubert Garavel	[2]
5	Alain Kerbrat	[3]
6	Oded Maler	[3]
7	Laurent Mounier	[2]
8	Amir Pnueli	[3]
9	Carlos Rodriguez	[2]
10	Joseph Sifakis	[2]