Model checking des systèmes ouverts : fondements logiques et algorithmes basés sur les automates ouverts · Laboratoire de Traitement et Communication de l'Information, Doctorat · La Géode