Valentin Goranko, Louwe B. Kuijer. On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. In Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger, editors, 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016. pages 177-185, IEEE Computer Society, 2016. [doi]
Abstract is missing.