HOME | ENGLISH | IMPRESSUM | KIT

Buchkapitel: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures

[springerlink:10.1007:978-3-540-74407-8_20]Peter Lammich, Markus Müller-Olm, Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures, Caires, Luís and Vasconcelos, Vasco (Ed.), CONCUR 2007 -- Concurrency Theory, pp. 287-302, Springer Berlin / Heidelberg, 2007.

Download

  [DOI]

Original article available at springerlink.com.

BibTeX

Institutsinterne Autoren

Partner
Prof. Markus Müller-Olm

Projekte

Projekt
IFC for Mobile Components