Pascalin Amagbégnon

	2003
3		Pascalin Amagbégnon, Uri Barkai: Verifying the Implementation of an Error Control Code. Formal Methods in System Design 22(2): 155-161 (2003)
	1995
2		Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten: SIGNAL. Formal Development of Reactive Systems 1995: 113-129
1		Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic: Implementation of the Data-Flow Synchronous Language SIGNAL. PLDI 1995: 163-173

Coauthor Index

1	Uri Barkai	[3]
2	Loïc Besnard	[1]
3	Paul Le Guernic	[1] [2]
4	Hervé Marchand	[2]
5	Éric Rutten	[2]

Colors in the list of coauthors