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

@inproceedings{Lammich:2008:CAP:1425698.1425714,
  title = {Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors},
  booktitle = {Proceedings of the 15th international symposium on Static Analysis},
  year = {2008},
  publisher = {Springer-Verlag},
  pages = {205--220},
  author = {Peter Lammich and Markus M{\"u}ller-Olm},
  series = {SAS '08},
  address = {Berlin, Heidelberg},
  doi = {10.1007/978-3-540-69166-2_14},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project

IFC for Mobile Components