CTL-Like Fragments of a Temporal Logic of Robustness

J.C. Mccabe-Dansted; C. Dixon

CTL-Like Fragments of a Temporal Logic of Robustness

J.C. Mccabe-Dansted, C. Dixon

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

Original language	English
Title of host publication	Proceedings 2010 17th International Symposium on Temporal Representation and Reasoning TME 2010
Editors	Ian Pratt-Hartmann, Nicolas Markey, Jef Wijsen
Place of Publication	United States
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	11-18
Volume	1
Edition	France
ISBN (Print)	9780769541877
Publication status	Published - 2010
Event	17th International Symposium on Temporal Representation and Reasoning - , France Duration: 6 Sept 2010 → 8 Sept 2010

Conference

Conference	17th International Symposium on Temporal Representation and Reasoning
Abbreviated title	TME 2010
Country/Territory	France
Period	6/09/10 → 8/09/10

Cite this

@inproceedings{5cef5ccf1292431193e506ce1d460b34,

title = "CTL-Like Fragments of a Temporal Logic of Robustness",

author = "J.C. Mccabe-Dansted and C. Dixon",

year = "2010",

language = "English",

isbn = "9780769541877",

volume = "1",

pages = "11--18",

editor = "Ian Pratt-Hartmann and Nicolas Markey and Jef Wijsen",

booktitle = "Proceedings 2010 17th International Symposium on Temporal Representation and Reasoning TME 2010",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

edition = "France",

note = "17th International Symposium on Temporal Representation and Reasoning , TME 2010 ; Conference date: 06-09-2010 Through 08-09-2010",

}

Mccabe-Dansted, JC & Dixon, C 2010, CTL-Like Fragments of a Temporal Logic of Robustness. in I Pratt-Hartmann, N Markey & J Wijsen (eds), Proceedings 2010 17th International Symposium on Temporal Representation and Reasoning TME 2010. France edn, vol. 1, IEEE, Institute of Electrical and Electronics Engineers, United States, pp. 11-18, 17th International Symposium on Temporal Representation and Reasoning , France, 6/09/10.

CTL-Like Fragments of a Temporal Logic of Robustness. / Mccabe-Dansted, J.C.; Dixon, C.
Proceedings 2010 17th International Symposium on Temporal Representation and Reasoning TME 2010. ed. / Ian Pratt-Hartmann; Nicolas Markey; Jef Wijsen. Vol. 1 France. ed. United States: IEEE, Institute of Electrical and Electronics Engineers, 2010. p. 11-18.

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

TY - GEN

T1 - CTL-Like Fragments of a Temporal Logic of Robustness

AU - Mccabe-Dansted, J.C.

AU - Dixon, C.

PY - 2010

Y1 - 2010

M3 - Conference paper

SN - 9780769541877

VL - 1

SP - 11

EP - 18

BT - Proceedings 2010 17th International Symposium on Temporal Representation and Reasoning TME 2010

A2 - Pratt-Hartmann, Ian

A2 - Markey, Nicolas

A2 - Wijsen, Jef

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - United States

T2 - 17th International Symposium on Temporal Representation and Reasoning

Y2 - 6 September 2010 through 8 September 2010

ER -