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 3 avril 2024-11:14:12
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