Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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).

This list was generated on Fri Jan 26 00:50:47 2024 GMT.