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
Land/OmrådeFrankrig
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

Citationsformater