Contextual Locking for Dynamic Pushdown Networks
Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Francesco Logozzo, Manuel Fahndrich
Buchtitel: 20th Static Analysis Symposium
Seitenbereich: 477-498
Verlag: Springer
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 7935
Status: Veröffentlicht
Veröffentlichungsjahr: 2013 (20.06.2013)
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 20th Static Analysis Symposium, Seattle
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) |
Projekte, aus denen die Publikation entstanden ist
Laufzeit: 01.12.2012 - 31.12.2015 | 2. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt |