Brief Announcement: On Decidability of 2-Process Affine Models - Télécom Paris Access content directly
Conference Papers Year : 2020
No file

Dates and versions

hal-03022583 , version 1 (24-11-2020)

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⟩
21 View
0 Download

Share

Gmail Facebook X LinkedIn More