Static Analysis of Dynamic Communication Systems by Partner Abstraction

Jörg Bauer, Reinhard Wilhelm

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationStatic Analysis : Lecture Notes in Computer Science
    Volume4634
    PublisherSpringer
    Publication date2007
    Pages249-264
    Publication statusPublished - 2007

    Cite this

    Bauer, J., & Wilhelm, R. (2007). Static Analysis of Dynamic Communication Systems by Partner Abstraction. In Static Analysis: Lecture Notes in Computer Science (Vol. 4634, pp. 249-264). Springer.