The Interpretation of Branching Time Diagrams

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Original languageEnglish
Title of host publicationGraph-Based Representation and Reasoning
EditorsOllivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Number of pages9
PublisherSpringer
Publication date2016
Pages31-39
ISBN (Print)978-3-319-40984-9
ISBN (Electronic)978-3-319-40985-6
DOIs
Publication statusPublished - 2016
Event22nd International Conference on Conceptual Structures - Annecy, France
Duration: 5 Jul 20167 Jul 2016
Conference number: 22
https://www.irit.fr/ICCS2016/

Conference

Conference22nd International Conference on Conceptual Structures
Number22
CountryFrance
CityAnnecy
Period05/07/201607/07/2016
Internet address
SeriesLecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science
Volume9717
ISSN0302-9743

Cite this

Jakobsen, D., & Øhrstrøm, P. (2016). The Interpretation of Branching Time Diagrams. In O. Haemmerlé, G. Stapleton, & C. F. Zucker (Eds.), Graph-Based Representation and Reasoning (pp. 31-39). Springer. Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol.. 9717 https://doi.org/10.1007/978-3-319-40985-6_3
Jakobsen, David ; Øhrstrøm, Peter. / The Interpretation of Branching Time Diagrams. Graph-Based Representation and Reasoning. editor / Ollivier Haemmerlé ; Gem Stapleton ; Catherine Faron Zucker. Springer, 2016. pp. 31-39 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717).
@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",
year = "2016",
doi = "10.1007/978-3-319-40985-6_3",
language = "English",
isbn = "978-3-319-40984-9",
pages = "31--39",
editor = "Ollivier Haemmerl{\'e} and Gem Stapleton and Zucker, {Catherine Faron}",
booktitle = "Graph-Based Representation and Reasoning",
publisher = "Springer",
address = "Germany",

}

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 proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - The Interpretation of Branching Time Diagrams

AU - Jakobsen, David

AU - Øhrstrøm, Peter

N1 - David Jakobsen and Peter Øhrstrøm The Interpretation of Branching Time Diagrams Ollivier Haemmerlé, 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

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

SP - 31

EP - 39

BT - Graph-Based Representation and Reasoning

A2 - Haemmerlé, Ollivier

A2 - Stapleton, Gem

A2 - Zucker, Catherine Faron

PB - Springer

ER -

Jakobsen D, Øhrstrøm P. The Interpretation of Branching Time Diagrams. In Haemmerlé O, Stapleton G, Zucker CF, editors, Graph-Based Representation and Reasoning. Springer. 2016. p. 31-39. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717). https://doi.org/10.1007/978-3-319-40985-6_3