CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

  • Christel Baier (Editor)
  • , Holger Hermanns (Editor)

    Research output: Book/Report › Book editing › Academic

    645 Downloads (Pure)
    Original languageEnglish
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Number of pages523
    ISBN (Electronic)978-3-540-37377-3
    ISBN (Print)978-3-540-37377-3
    DOIs
    Publication statusPublished - 27 Aug 2006
    Event17th International Conference on Concurrency Theory, CONCUR 2006 - Bonn, Germany
    Duration: 27 Aug 2006 → 30 Aug 2006
    Conference number: 17

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume4137
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Access to Document

      • 1 Conference contribution

      • Model Checking Quantified Computation Tree Logic

        Rensink, A., 2006, CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings. Baier, C. & Hermanns, H. (eds.). Berlin, Heidelberg: Springer, p. 110-125 16 p. (Lecture Notes in Computer Science; vol. 4137).

        Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

        17   Link opens in a new tab Citations (Scopus)
        17 Downloads (Pure)

      Cite this