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.

Contextual Locking for Dynamic Pushdown Networks

Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner. Contextual Locking for Dynamic Pushdown Networks. In Francesco Logozzo, Manuel Fähndrich, editors, Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Volume 7935 of Lecture Notes in Computer Science, pages 477-498, Springer, 2013. [doi]

Authors

Peter Lammich

This author has not been identified. Look up 'Peter Lammich' in Google

Markus Müller-Olm

This author has not been identified. Look up 'Markus Müller-Olm' in Google

Helmut Seidl

This author has not been identified. Look up 'Helmut Seidl' in Google

Alexander Wenner

This author has not been identified. Look up 'Alexander Wenner' in Google
runs on