Brief Announcement: On Decidability of 2-Process Affine Models - Archive ouverte HAL Access content directly
Conference Papers Year :

Brief Announcement: On Decidability of 2-Process Affine Models

(1, 2, 3) , (4)
1
2
3
4
Not 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⟩
17 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More