| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page