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

Christel Baier; Holger Hermanns

doi:10.1007/11817949

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

632 Downloads (Pure)

Original language	English
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Number of pages	523
ISBN (Electronic)	978-3-540-37377-3
ISBN (Print)	978-3-540-37377-3
DOIs	https://doi.org/10.1007/11817949
Publication status	Published - 27 Aug 2006
Event	17th International Conference on Concurrency Theory, CONCUR 2006 - Bonn, Germany Duration: 27 Aug 2006 → 30 Aug 2006 Conference number: 17

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4137
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/11817949

Front MatterFinal published version, 261 KB

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
16 Citations (Scopus)

17 Downloads (Pure)

Cite this

@book{4e6b5c89f4ad4c4f9cd5acd2fc36d2bd,

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

editor = "Christel Baier and Holger Hermanns",

year = "2006",

month = aug,

day = "27",

doi = "10.1007/11817949",

language = "English",

isbn = "978-3-540-37377-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

note = "17th International Conference on Concurrency Theory, CONCUR 2006, CONCUR ; Conference date: 27-08-2006 Through 30-08-2006",

}

TY - BOOK

T1 - CONCUR 2006 – Concurrency Theory

T2 - 17th International Conference on Concurrency Theory, CONCUR 2006

A2 - Baier, Christel

A2 - Hermanns, Holger

N1 - Conference code: 17

PY - 2006/8/27

Y1 - 2006/8/27

U2 - 10.1007/11817949

DO - 10.1007/11817949

M3 - Book editing

SN - 978-3-540-37377-3

T3 - Lecture Notes in Computer Science

BT - CONCUR 2006 – Concurrency Theory

PB - Springer

CY - Berlin, Heidelberg

Y2 - 27 August 2006 through 30 August 2006

ER -

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

Publication series

Access to Document

Research output

Model Checking Quantified Computation Tree Logic

Cite this