HOME | DEUTSCH | IMPRESSUM | KIT

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

[Lammich:2008:CAP:1425698.1425714]Peter Lammich, Markus Müller-Olm, Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors, Proceedings of the 15th international symposium on Static Analysis, pp. 205--220, Springer-Verlag, Berlin, Heidelberg, 2008.

Download

  [DOI]

Original article available at springerlink.com.

BibTeX

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project
IFC for Mobile Components