Communication Dans Un Congrès
Année : 2020
Petr Kuznetsov : Connectez-vous pour contacter le contributeur
https://telecom-paris.hal.science/hal-03022583
Soumis le : mardi 24 novembre 2020-19:37:50
Dernière modification le : mercredi 7 février 2024-03:34:06
Dates et versions
Identifiants
- HAL Id : hal-03022583 , version 1
Citer
Petr Kuznetsov, Thibault Rieutord. Brief Announcement: On Decidability of 2-Process Affine Models. DISC, Oct 2020, VIRTUAL, France. ⟨hal-03022583⟩
Collections
21
Consultations
0
Téléchargements