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

Domains

Computer Science [cs]

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 : Tuesday, February 28, 2023-3:36:24 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CEA INSTITUT-TELECOM DRT UNIV-PARIS-SACLAY CEA-DRF LIST LTCI INFRES ACES IP_PARIS GS-ENGINEERING GS-COMPUTER-SCIENCE
17 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More