LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
https://hal.inria.fr/hal-03196127 Contributor : Jean Goubault-LarrecqConnect in order to contact the contributor Submitted on : Monday, April 12, 2021 - 2:50:32 PM Last modification on : Tuesday, December 14, 2021 - 3:53:22 AM Long-term archiving on: : Tuesday, July 13, 2021 - 6:53:56 PM