An Efficient Tableau for Linear Time Temporal Logic

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

Original language	English
Title of host publication	Lecture Notes in Artificial Intelligence
Editors	Stephen Cranefield, Abhaya Nayak
Place of Publication	Germany
Publisher	Springer
Pages	289-300
Volume	8272 2013
ISBN (Print)	9783319036793
DOIs	https://doi.org/10.1007/978-3-319-03680-9_31
Publication status	Published - 2013
Event	26th Australasian Joint Conference on Artificial Intelligence - Dunedin, New Zealand Duration: 3 Dec 2013 → 6 Dec 2013

Conference	26th Australasian Joint Conference on Artificial Intelligence
Country/Territory	New Zealand
City	Dunedin
Period	3/12/13 → 6/12/13

Access to Document

@inproceedings{efe9ff2b8bca408c96892047425e01a7,

title = "An Efficient Tableau for Linear Time Temporal Logic",

author = "J. Bian and Tim French and Mark Reynolds",

year = "2013",

doi = "10.1007/978-3-319-03680-9_31",

language = "English",

isbn = "9783319036793",

volume = "8272 2013",

pages = "289--300",

editor = "Stephen Cranefield and Abhaya Nayak",

booktitle = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

address = "Netherlands",

note = "26th Australasian Joint Conference on Artificial Intelligence ; Conference date: 03-12-2013 Through 06-12-2013",

}

TY - GEN

T1 - An Efficient Tableau for Linear Time Temporal Logic

AU - Bian, J.

AU - French, Tim

AU - Reynolds, Mark

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-319-03680-9_31

DO - 10.1007/978-3-319-03680-9_31

M3 - Conference paper

SN - 9783319036793

VL - 8272 2013

SP - 289

EP - 300

BT - Lecture Notes in Artificial Intelligence

A2 - Cranefield, Stephen

A2 - Nayak, Abhaya

PB - Springer

CY - Germany

T2 - 26th Australasian Joint Conference on Artificial Intelligence

Y2 - 3 December 2013 through 6 December 2013

ER -