Jérôme Falampin

	2009
3		Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge: Automated Property Verification for Large Scale B Models. FM 2009: 708-723
	2004
2		Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin: Validation des règles de base de l'Atelier B. Technique et Science Informatiques 23(7): 855-878 (2004)
	2003
1		Daniel Dollé, Didier Essamé, Jérôme Falampin: B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. Technique et Science Informatiques 22(1): 11-32 (2003)

Coauthor Index

1	Karim Berkani	[2]
2	Daniel Dollé	[1]
3	Catherine Dubois	[2]
4	Didier Essamé	[1]
5	Alain Faivre	[2]
6	Fabian Fritz	[3]
7	Michael Leuschel	[3]
8	Daniel Plagge	[3]

Colors in the list of coauthors