Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02390597
Contributor : Jérôme Leroux <>
Submitted on : Tuesday, December 3, 2019 - 10:54:35 AM
Last modification on : Wednesday, December 18, 2019 - 6:02:02 PM

Identifiers

Collections

Citation

Petr Jančar, Jérôme Leroux, Grégoire Sutre. Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 169 (1-2), pp.123-150. ⟨10.3233/FI-2019-1841⟩. ⟨hal-02390597⟩

Share

Metrics

Record views

27