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.

Separability of Reachability Sets of Vector Addition Systems

Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman. Separability of Reachability Sets of Vector Addition Systems. In Heribert Vollmer, Brigitte Vallée, editors, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. Volume 66 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Lorenzo Clemente

This author has not been identified. Look up 'Lorenzo Clemente' in Google

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Slawomir Lasota

This author has not been identified. Look up 'Slawomir Lasota' in Google

Charles Paperman

This author has not been identified. Look up 'Charles Paperman' in Google
runs on