The Interpretation of Branching Time Diagrams

David Jakobsen; Peter Øhrstrøm

doi:10.1007/978-3-319-40985-6_3

The Interpretation of Branching Time Diagrams

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Original language	English
Title of host publication	Graph-Based Representation and Reasoning
Editors	Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Number of pages	9
Publisher	Springer
Publication date	2016
Pages	31-39
ISBN (Print)	978-3-319-40984-9
ISBN (Electronic)	978-3-319-40985-6
DOIs	https://doi.org/10.1007/978-3-319-40985-6_3
Publication status	Published - 2016
Event	22nd International Conference on Conceptual Structures - Annecy, France Duration: 5 Jul 2016 → 7 Jul 2016 Conference number: 22 https://www.irit.fr/ICCS2016/

Conference

Conference	22nd International Conference on Conceptual Structures
Number	22
Country/Territory	France
City	Annecy
Period	05/07/2016 → 07/07/2016
Internet address	https://www.irit.fr/ICCS2016/

Series	Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science
Volume	9717
ISSN	0302-9743

Access to Document

10.1007/978-3-319-40985-6_3

http://link.springer.com/chapter/10.1007/978-3-319-40985-6_3

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{02ffda0fad3747bc8e971529fe360196,

title = "The Interpretation of Branching Time Diagrams",

author = "David Jakobsen and Peter {\O}hrstr{\o}m",

note = "David Jakobsen and Peter {\O}hrstr{\o}m The Interpretation of Branching Time Diagrams Ollivier Haemmerl{\'e}, Gem Stapleton, Catherine Faron Zucker (Eds.) Graph-Based Representation and Reasoning Volume 9717 of the series Lecture Notes in Computer Science, 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings, Springer, pp 31-39 10.1007/978-3-319-40985-6_3 http://link.springer.com/chapter/10.1007/978-3-319-40985-6_3; 22nd International Conference on Conceptual Structures, ICCS 2016 ; Conference date: 05-07-2016 Through 07-07-2016",

year = "2016",

doi = "10.1007/978-3-319-40985-6_3",

language = "English",

isbn = "978-3-319-40984-9",

series = "Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science",

publisher = "Springer",

pages = "31--39",

editor = "Ollivier Haemmerl{\'e} and Gem Stapleton and Zucker, {Catherine Faron}",

booktitle = "Graph-Based Representation and Reasoning",

address = "Germany",

url = "https://www.irit.fr/ICCS2016/",

}

Jakobsen, D & Øhrstrøm, P 2016, The Interpretation of Branching Time Diagrams. in O Haemmerlé, G Stapleton & CF Zucker (eds), Graph-Based Representation and Reasoning. Springer, Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, vol. 9717, pp. 31-39, 22nd International Conference on Conceptual Structures, Annecy, France, 05/07/2016. https://doi.org/10.1007/978-3-319-40985-6_3

The Interpretation of Branching Time Diagrams. / Jakobsen, David ; Øhrstrøm, Peter.
Graph-Based Representation and Reasoning. ed. / Ollivier Haemmerlé; Gem Stapleton; Catherine Faron Zucker. Springer, 2016. p. 31-39 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - The Interpretation of Branching Time Diagrams

AU - Jakobsen, David

AU - Øhrstrøm, Peter

N1 - Conference code: 22

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-40985-6_3

DO - 10.1007/978-3-319-40985-6_3

M3 - Article in proceeding

SN - 978-3-319-40984-9

T3 - Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science

SP - 31

EP - 39

BT - Graph-Based Representation and Reasoning

A2 - Haemmerlé, Ollivier

A2 - Stapleton, Gem

A2 - Zucker, Catherine Faron

PB - Springer

T2 - 22nd International Conference on Conceptual Structures

Y2 - 5 July 2016 through 7 July 2016

ER -