Conference Papers
Year :
Petr Kuznetsov : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-03022583
Submitted on : Tuesday, November 24, 2020-7:37:50 PM
Last modification on : Saturday, February 19, 2022-3:13:47 AM
Dates and versions
Identifiers
- HAL Id : hal-03022583 , version 1
Cite
Petr Kuznetsov, Thibault Rieutord. Brief Announcement: On Decidability of 2-Process Affine Models. DISC, Oct 2020, VIRTUAL, France. ⟨hal-03022583⟩
Collections
17
View
0
Download