The Interpretation of Branching Time Diagrams

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelGraph-Based Representation and Reasoning
RedaktørerOllivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Antal sider9
ForlagSpringer
Publikationsdato2016
Sider31-39
ISBN (Trykt)978-3-319-40984-9
ISBN (Elektronisk)978-3-319-40985-6
DOI
StatusUdgivet - 2016
Begivenhed22nd International Conference on Conceptual Structures - Annecy, Frankrig
Varighed: 5 jul. 20167 jul. 2016
Konferencens nummer: 22
https://www.irit.fr/ICCS2016/

Konference

Konference22nd International Conference on Conceptual Structures
Nummer22
LandFrankrig
ByAnnecy
Periode05/07/201607/07/2016
Internetadresse
NavnLecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science
Vol/bind9717
ISSN0302-9743

Bibliografisk note

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

Citer dette

Jakobsen, D., & Øhrstrøm, P. (2016). The Interpretation of Branching Time Diagrams. I O. Haemmerlé, G. Stapleton, & C. F. Zucker (red.), Graph-Based Representation and Reasoning (s. 31-39). Springer. Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Bind. 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. red. / Ollivier Haemmerlé ; Gem Stapleton ; Catherine Faron Zucker. Springer, 2016. s. 31-39 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Bind 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. i O Haemmerlé, G Stapleton & CF Zucker (red), Graph-Based Representation and Reasoning. Springer, Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, bind 9717, s. 31-39, Annecy, Frankrig, 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. red. / Ollivier Haemmerlé; Gem Stapleton; Catherine Faron Zucker. Springer, 2016. s. 31-39.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. I Haemmerlé O, Stapleton G, Zucker CF, red., Graph-Based Representation and Reasoning. Springer. 2016. s. 31-39. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Bind 9717). https://doi.org/10.1007/978-3-319-40985-6_3