CTL with Finitely Bounded Semantics

Valentin Goranko; Antti Kuusisto; Raine Rönnholm

doi:10.4230/LIPIcs.TIME.2017.14

CTL with Finitely Bounded Semantics

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium
Editors	Sven Schewe, Thomas Schneider, Jef Wijsen
DOIs	https://doi.org/10.4230/LIPIcs.TIME.2017.14
Publication status	Published - 2017
Publication type	A4 Article in conference proceedings
Event	International Symposium on Temporal Representation and Reasoning - Duration: 1 Jan 2017 → …

Publication series

Name	LIPICS
Number	90
ISSN (Print)	1868-8969

Conference

Conference	International Symposium on Temporal Representation and Reasoning
Period	1/01/17 → …

Publication forum classification

Publication forum level 1

Access to Document

10.4230/LIPIcs.TIME.2017.14

http://urn.fi/URN:NBN:fi:uta-201802141225

Cite this

@inproceedings{691812f07bb04351b1da7548ddb4d117,

title = "CTL with Finitely Bounded Semantics",

author = "Valentin Goranko and Antti Kuusisto and Raine R{\"o}nnholm",

year = "2017",

doi = "10.4230/LIPIcs.TIME.2017.14",

language = "English",

isbn = "978-3-95977-052-1",

series = "LIPICS",

number = "90",

editor = "Sven Schewe and Thomas Schneider and Jef Wijsen",

booktitle = "24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium",

note = "International Symposium on Temporal Representation and Reasoning ; Conference date: 01-01-2017",

}

Goranko, V, Kuusisto, A & Rönnholm, R 2017, CTL with Finitely Bounded Semantics. in S Schewe, T Schneider & J Wijsen (eds), 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. LIPICS, no. 90, International Symposium on Temporal Representation and Reasoning, 1/01/17. https://doi.org/10.4230/LIPIcs.TIME.2017.14

CTL with Finitely Bounded Semantics. / Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine.

24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. ed. / Sven Schewe; Thomas Schneider; Jef Wijsen. 2017. (LIPICS; No. 90).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - CTL with Finitely Bounded Semantics

AU - Goranko, Valentin

AU - Kuusisto, Antti

AU - Rönnholm, Raine

PY - 2017

Y1 - 2017

U2 - 10.4230/LIPIcs.TIME.2017.14

DO - 10.4230/LIPIcs.TIME.2017.14

M3 - Conference contribution

SN - 978-3-95977-052-1

T3 - LIPICS

BT - 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium

A2 - Schewe, Sven

A2 - Schneider, Thomas

A2 - Wijsen, Jef

T2 - International Symposium on Temporal Representation and Reasoning

Y2 - 1 January 2017

ER -