Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2008 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-540-69163-1 ISSN: 0302-9743 KITopen-ID: 1000120904 |
| Erschienen in | Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 2008, Proceedings. Ed.: M. Alpuente |
| Veranstaltung | 15th International Static Analysis Symposium (SAS 2008), Valencia, Spanien, 16.07.2008 – 18.07.2008 |
| Verlag | Springer-Verlag |
| Seiten | 205–220 |
| Serie | Lecture notes in computer science ; 5079 |
| Nachgewiesen in | Scopus OpenAlex Dimensions |
| Globale Ziele für nachhaltige Entwicklung |