Polynomial Vector Addition Systems With States

Document type :
Conference papers
Complete list of metadatas

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 : Wednesday, December 4, 2019 - 1:38:30 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

8