Up a level |
Number of items: 1.
Goranko, Valentin and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2016)
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.
In: 23rd International Symposium on Temporal Representation and Reasoning (TIME2016).