Model checking general linear temporal logic

Tim French; John Mccabe-Dansted; Mark Reynolds

doi:10.1007/978-3-642-40537-2_12

Model checking general linear temporal logic

Tim French, John Mccabe-Dansted, Mark Reynolds

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

Original language	English
Title of host publication	Lecture Notes in Artificial Intelligence
Editors	Didier Galmiche, Dominique Larchey-Wendling
Place of Publication	Berlin
Publisher	Springer
Pages	119-133
Volume	8123 LNAI
ISBN (Print)	03029743
DOIs	https://doi.org/10.1007/978-3-642-40537-2_12
Publication status	Published - 2013
Event	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2013 - Nancy, France Duration: 16 Sept 2013 → 19 Sept 2013

Conference

Conference	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2013
Country/Territory	France
City	Nancy
Period	16/09/13 → 19/09/13

Access to Document

10.1007/978-3-642-40537-2_12

Cite this

@inproceedings{cce54d5e79c34a6a8c0fef056c5a0163,

title = "Model checking general linear temporal logic",

author = "Tim French and John Mccabe-Dansted and Mark Reynolds",

year = "2013",

doi = "10.1007/978-3-642-40537-2_12",

language = "English",

isbn = "03029743",

volume = "8123 LNAI",

pages = "119--133",

editor = "Didier Galmiche and Dominique Larchey-Wendling",

booktitle = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

address = "Netherlands",

note = "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2013 ; Conference date: 16-09-2013 Through 19-09-2013",

}

French, T, Mccabe-Dansted, J & Reynolds, M 2013, Model checking general linear temporal logic. in D Galmiche & D Larchey-Wendling (eds), Lecture Notes in Artificial Intelligence. vol. 8123 LNAI, Springer, Berlin, pp. 119-133, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2013, Nancy, France, 16/09/13. https://doi.org/10.1007/978-3-642-40537-2_12

TY - GEN

T1 - Model checking general linear temporal logic

AU - French, Tim

AU - Mccabe-Dansted, John

AU - Reynolds, Mark

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40537-2_12

DO - 10.1007/978-3-642-40537-2_12

M3 - Conference paper

SN - 03029743

VL - 8123 LNAI

SP - 119

EP - 133

BT - Lecture Notes in Artificial Intelligence

A2 - Galmiche, Didier

A2 - Larchey-Wendling, Dominique

PB - Springer

CY - Berlin

T2 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2013

Y2 - 16 September 2013 through 19 September 2013

ER -