Pascalin Amagbégnon
发表
Paul Le Guernic,
Loïc Besnard,
Pascalin Amagbégnon,
1995,
PLDI '95.
Pascalin Amagbégnon,
Uri Barkai,
Uri Barkai,
2003,
Formal Methods Syst. Des..
P. Guernic,
H. Marchand,
É. Rutten,
1995,
Formal Development of Reactive Systems.