Eric Nassor

	2000
3		Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone: ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36(1): 5-25 (2000)
	1999
2		Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor: Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods 1999: 1836-1853
	1992
1		Eric Nassor, Guy Vidal-Naquet: Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS 1992: 59-70

Coauthor Index

1	Gérard Berry	[3]
2	Yann Le Biannic	[2]
3	Amar Bouali	[3]
4	Xavier Fornari	[3]
5	Olivier Hainque	[2]
6	Emmanuel Ledinot	[3]
7	Laurent Pautet	[2]
8	Robert de Simone	[3]
9	Guy Vidal-Naquet	[1]

Colors in the list of coauthors