Conflict analysis of programs with procedures, dynamic thread creation, and monitors
Lammich Peter, Müller-Olm Markus
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Alpuente María, Vidal Germán
Book title: Static analysis (Volume 5079)
Page range: 205-220
Publishing company: Springer
Place of publication: Berlin
Title of series: Lecture Notes in Computer Science
Volume of series: 5079
Status: Published
Release year: 2008
Language in which the publication is written: English
Conference: SAS 2008: 15th International Static Analysis Symposium, July 16-18, 2008, Valencia, Spain, undefined
Authors from the University of Münster
| Lammich, Peter | Institute of Computer Science |
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |