Extended Computation Tree Logic (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning
Publication status	Published - 2010
Event	LPAR: Logic for Programming, Artificial Intelligence and Reasoning - Yogyakarta, Indonesia Duration: 10 Oct 2010 → 15 Oct 2010

Conference	LPAR: Logic for Programming, Artificial Intelligence and Reasoning
Country/Territory	Indonesia
City	Yogyakarta
Period	10/10/10 → 15/10/10

Cite this

@inproceedings{cf154f79fcdf4be6b4bfda670fbe896a,

title = "Extended Computation Tree Logic (Extended Abstract)",

author = "Roland Alexsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte",

year = "2010",

language = "English",

booktitle = "LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning",

note = "LPAR: Logic for Programming, Artificial Intelligence and Reasoning ; Conference date: 10-10-2010 Through 15-10-2010",

}

TY - GEN

T1 - Extended Computation Tree Logic (Extended Abstract)

AU - Alexsson, Roland

AU - Hague, Matthew

AU - Kreutzer, Stephan

AU - Lange, Martin

AU - Latte, Markus

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning

T2 - LPAR: Logic for Programming, Artificial Intelligence and Reasoning

Y2 - 10 October 2010 through 15 October 2010

ER -