Login / Signup
Pascalin Amagbégnon
Publication Activity (10 Years)
Years Active: 1995-2003
Publications (10 Years): 0
</>
Publications
</>
Pascalin Amagbégnon
,
Uri Barkai
Verifying the Implementation of an Error Control Code.
Formal Methods Syst. Des.
22 (2) (2003)
Pascalin Amagbégnon
,
Loïc Besnard
,
Paul Le Guernic
Implementation of the Data-Flow Synchronous Language SIGNAL.
PLDI
(1995)