Proving physical proximity using symbolic models - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2018

Proving physical proximity using symbolic models

(1, 2, 3) , (1, 2, 3) , (4, 2, 3)
1
2
3
4
Fichier principal
Vignette du fichier
research-report.pdf (606.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01708336 , version 1 (15-02-2018)

Identifiants

  • HAL Id : hal-01708336 , version 1

Citer

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling. Proving physical proximity using symbolic models. [Research Report] Univ Rennes, CNRS, IRISA, France. 2018. ⟨hal-01708336⟩
285 Consultations
161 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More