Contextual Locking for Dynamic Pushdown Networks
Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Francesco Logozzo, Manuel Fahndrich
Book title: 20th Static Analysis Symposium
Page range: 477-498
Publisher: Springer
Title of series: Lecture Notes in Computer Science
Volume of series: 7935
Status: Published
Release year: 2013 (20/06/2013)
Language in which the publication is written: English
Conference: 20th Static Analysis Symposium, Seattle
Authors from the University of Münster
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
| Wenner, Alexander | Professorship for practical computer science (Prof. Müller-Olm) |
Projects the publication originates from
Duration: 01/12/2012 - 31/12/2015 | 2nd Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project |