KIT | KIT-Bibliothek | Impressum | Datenschutz

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors

Lammich, Peter; Müller-Olm, Markus


Originalveröffentlichung
DOI: 10.1007/978-3-540-69166-2_14
Scopus
Zitationen: 14
Dimensions
Zitationen: 14
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page