External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States

Petr Jancar, Jérôme Leroux, Grégoire Sutre. Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. In Victor Khomenko, Olivier H. Roux, editors, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Volume 10877 of Lecture Notes in Computer Science, pages 184-203, Springer, 2018. [doi]

Authors

Petr Jancar

This author has not been identified. Look up 'Petr Jancar' in Google

Jérôme Leroux

This author has not been identified. Look up 'Jérôme Leroux' in Google

Grégoire Sutre

This author has not been identified. Look up 'Grégoire Sutre' in Google
runs on