Skip to main navigation Skip to search Skip to main content

Static Analysis of Dynamic Communication Systems by Partner Abstraction

  • Jörg Bauer
  • , Reinhard Wilhelm

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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

    OpenUrl availability

    Check availability in DTU Findit

    Cite this