Skip to Main content Skip to Navigation
Conference papers

Polynomial Vector Addition Systems With States

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02391837
Contributor : Jérôme Leroux <>
Submitted on : Tuesday, December 3, 2019 - 5:05:39 PM
Last modification on : Tuesday, December 8, 2020 - 9:41:55 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

26