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

    633 Downloads (Pure)
    • 1 Conference contribution

    Search results

    • 2006

      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

      16 Citations (Scopus)
      17 Downloads (Pure)