CTL with Finitely Bounded Semantics
Valentin, Goranko; Kuusisto, Antti; Rönnholm, Raine (2017)
Valentin, Goranko
Kuusisto, Antti
Rönnholm, Raine
Teoksen toimittaja(t)
Schewe, Sven
Schneider, Thomas
Wijsen, Jef
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