Filtrer vos résultats
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
3 résultats
|
|
triés par
|
|
Reasoning about Universal Cubes in MCMTICFEM 2019 - 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.270--285
Communication dans un congrès
hal-02420588v1
|
||
|
Varroa destructor changes its cuticular hydrocarbons to mimic new hostsBiology Letters, 2015, 11 (6), pp.20150233. ⟨10.1098/rsbl.2015.0233⟩
Article dans une revue
hal-01295750v1
|
||
|
FAR-Cubicle — A new reachability algorithm for Cubicle2017 Formal Methods in Computer-Aided Design (FMCAD), Oct 2017, Vienna, France. ⟨10.23919/FMCAD.2017.8102256⟩
Communication dans un congrès
hal-01927220v1
|