Proving physical proximity using symbolic models - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2018

Dates and versions

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

Identifiers

  • HAL Id : hal-01708336 , version 1

Cite

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling. Proving physical proximity using symbolic models. [Research Report] Univ Rennes, CNRS, IRISA, France. 2018. ⟨hal-01708336⟩
305 View
184 Download

Share

Gmail Mastodon Facebook X LinkedIn More