CTL with Finitely Bounded Semantics
Valentin, Goranko; Kuusisto, Antti; Rönnholm, Raine (2017)
Schloss Dagstuhl
2017
24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
14:1--14:19
Luonnontieteiden tiedekunta - Faculty of Natural Sciences
Creative Commons License CC-BY 3.0