[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 |