A Tableau for CTL*

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	FM 2009: Formal Methods
Editors	A Cavalcanti, D Dams
Place of Publication	Berlin Heidelberg, Germany
Publisher	Springer
Pages	403-418
Volume	5850
Edition	Eindhoven, Netherlands
ISBN (Print)	03029743
DOIs	https://doi.org/10.1007/978-3-642-05089-3_26
Publication status	Published - 2009
Event	A Tableau for CTL* - Eindhoven, Netherlands Duration: 1 Jan 2009 → …

Conference	A Tableau for CTL*
Period	1/01/09 → …

Access to Document

@inproceedings{97f507ce6b3a49ac923ade07212c2397,

title = "A Tableau for CTL*",

author = "Mark Reynolds",

year = "2009",

doi = "10.1007/978-3-642-05089-3_26",

language = "English",

isbn = "03029743",

volume = "5850",

pages = "403--418",

editor = "A Cavalcanti and D Dams",

booktitle = "FM 2009: Formal Methods",

publisher = "Springer",

address = "Netherlands",

edition = "Eindhoven, Netherlands",

note = "A Tableau for CTL* ; Conference date: 01-01-2009",

}