HOME | ENGLISH | IMPRESSUM | KIT

Konferenzartikel: 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

Institutsinterne Autoren

Partner
Prof. Markus Müller-Olm

Projekte

Projekt
IFC for Mobile Components