Polynomial Vector Addition Systems With States - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Polynomial Vector Addition Systems With States

Fichier non déposé

Dates et versions

hal-02391837 , version 1 (03-12-2019)

Identifiants

Citer

Jérôme Leroux. Polynomial Vector Addition Systems With States. 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.134⟩. ⟨hal-02391837⟩

Collections

CNRS ANR
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More