The Interpretation of Branching Time Diagrams

David Jakobsen, Peter Øhrstrøm. The Interpretation of Branching Time Diagrams. In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron-Zucker, editors, Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings. Volume 9717 of Lecture Notes in Computer Science, pages 31-39, Springer, 2016. [doi]

Authors

David Jakobsen

This author has not been identified. Look up 'David Jakobsen' in Google

Peter Øhrstrøm

This author has not been identified. Look up 'Peter Øhrstrøm' in Google