Computation Tree Logic with Deadlock Detection

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

Research output: Contribution to Journal › Article › Academic › peer-review

184 Downloads (Pure)

Original language	English
Journal	Logical Methods in Computer Science
Volume	5
Issue number	4
DOIs	https://doi.org/10.2168/LMCS-5(4:5)2009
Publication status	Published - 2009

Access to Document

@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",

}

TY - JOUR

T1 - Computation Tree Logic with Deadlock Detection

AU - van Glabbeek, R.J.

AU - Luttik, B.

AU - Trcka, N.

PY - 2009

Y1 - 2009

UR - https://www.scopus.com/pages/publications/84863382290

UR - https://www.scopus.com/inward/citedby.url?scp=84863382290&partnerID=8YFLogxK

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

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

M3 - Article

SN - 1860-5974

VL - 5

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 4

ER -