Conflict analysis of programs with procedures, dynamic thread creation, and monitors
Lammich Peter, Müller-Olm Markus
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Alpuente María, Vidal Germán
Buchtitel: Static analysis (Band 5079)
Seitenbereich: 205-220
Verlag: Springer
Erscheinungsort: Berlin
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 5079
Status: Veröffentlicht
Veröffentlichungsjahr: 2008
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: SAS 2008: 15th International Static Analysis Symposium, July 16-18, 2008, Valencia, Spain, undefined
Autor*innen der Universität Münster
| Lammich, Peter | Institut für Informatik |
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |