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.

Reachability Analysis of First-order Definable Pushdown Systems

Lorenzo Clemente, Slawomir Lasota. Reachability Analysis of First-order Definable Pushdown Systems. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. Volume 41 of LIPIcs, pages 244-259, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Lorenzo Clemente

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

Slawomir Lasota

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