A faster Tableau for CTL*

Research output: Chapter in Book/Conference paper › Conference paper

Original language	English
Title of host publication	Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification
Place of Publication	Italy
Publisher	Open Publishing Association
Pages	50-63
Volume	1
ISBN (Print)	20752180
DOIs	https://doi.org/10.4204/EPTCS.119
Publication status	Published - 2013
Event	Fourth International Symposium on Games, Automata, Logics and Formal Verification - Borca di Cadore, Italy Duration: 29 Aug 2013 → 31 Aug 2013

Conference	Fourth International Symposium on Games, Automata, Logics and Formal Verification
Country	Italy
City	Borca di Cadore
Period	29/08/13 → 31/08/13

Cite this

Reynolds, M. (2013). A faster Tableau for CTL*. In Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification (Vol. 1, pp. 50-63). Open Publishing Association. https://doi.org/10.4204/EPTCS.119

@inproceedings{f31baaac3f26458893a2c1c2174f5647,

title = "A faster Tableau for CTL*",

author = "Mark Reynolds",

year = "2013",

doi = "10.4204/EPTCS.119",

language = "English",

isbn = "20752180",

volume = "1",

pages = "50--63",

booktitle = "Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification",

publisher = "Open Publishing Association",

address = "Australia",

note = "Fourth International Symposium on Games, Automata, Logics and Formal Verification ; Conference date: 29-08-2013 Through 31-08-2013",

}

TY - GEN

T1 - A faster Tableau for CTL*

AU - Reynolds, Mark

PY - 2013

Y1 - 2013

U2 - 10.4204/EPTCS.119

DO - 10.4204/EPTCS.119

M3 - Conference paper

SN - 20752180

VL - 1

SP - 50

EP - 63

BT - Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification

PB - Open Publishing Association

CY - Italy

T2 - Fourth International Symposium on Games, Automata, Logics and Formal Verification

Y2 - 29 August 2013 through 31 August 2013

ER -