Computation Tree Logic with Deadlock Detection

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

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

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

}