| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Jean Fortin, Frédéric Gava: From BSP routines to high-performance ones: Formal verification of a transformation case. Procedia CS 1(1): 155-164 (2010) |
| 2009 | ||
| 2 | | Frédéric Gava, Jean Fortin: Two Formal Semantics of a Subset of the Paderborn University BSPlib. PDP 2009: 44-51 |
| 2008 | ||
| 1 | | Frédéric Gava, Jean Fortin: Formal Semantics of a Subset of the Paderborn's BSPlib. PDCAT 2008: 269-276 |
| 1 | Frédéric Gava | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page