Contextual Locking for Dynamic Pushdown Networks

Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innenFrancesco Logozzo, Manuel Fahndrich
Buchtitel20th Static Analysis Symposium
Seitenbereich477-498
VerlagSpringer
Titel der ReiheLecture Notes in Computer Science
Nr. in Reihe7935
StatusVeröffentlicht
Veröffentlichungsjahr2013 (20.06.2013)
Sprache, in der die Publikation verfasst istEnglisch
Konferenz20th Static Analysis Symposium, Seattle, undefined

Autor*innen der Universität Münster

Müller-Olm, Markus
Professur für Praktische Informatik (Prof. Müller-Olm)
Wenner, Alexander
Professur für Praktische Informatik (Prof. Müller-Olm)