"Valentin, Goranko" - Selaus tekijän mukaan Artikkelit

Viitteet 1-1 / 1

    • CTL with Finitely Bounded Semantics 

      Valentin, Goranko; Kuusisto, Antti; Rönnholm, Raine; Schewe, Sven; Schneider, Thomas; Wijsen, Jef
      Leibniz International Proceedings in Informatics (LIPIcs) : 90 (Schloss Dagstuhl, 2017)
      conferenceObject