Computation Tree Logic with Deadlock Detection

R.J. van Glabbeek, B. Luttik, N. Trcka

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Volume5
Issue number4
DOIs
Publication statusPublished - 2009

Cite this

van Glabbeek, R.J. ; Luttik, B. ; Trcka, N. / Computation Tree Logic with Deadlock Detection. In: Logical Methods in Computer Science. 2009 ; Vol. 5, No. 4.
@article{79c8d57a3bd245ab9f21904d96861dee,
title = "Computation Tree Logic with Deadlock Detection",
author = "{van Glabbeek}, R.J. and B. Luttik and N. Trcka",
year = "2009",
doi = "10.2168/LMCS-5(4:5)2009",
language = "English",
volume = "5",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",
number = "4",

}

Computation Tree Logic with Deadlock Detection. / van Glabbeek, R.J.; Luttik, B.; Trcka, N.

In: Logical Methods in Computer Science, Vol. 5, No. 4, 2009.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Computation Tree Logic with Deadlock Detection

AU - van Glabbeek, R.J.

AU - Luttik, B.

AU - Trcka, N.

PY - 2009

Y1 - 2009

U2 - 10.2168/LMCS-5(4:5)2009

DO - 10.2168/LMCS-5(4:5)2009

M3 - Article

VL - 5

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 4

ER -