Sormenjälki
Sukella tutkimusaiheisiin 'Alternating-time temporal logic ATL with finitely bounded semantics'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.- Järjestys:
- Painoarvo
- Aakkosjärjestyksessä
Alternating-time temporal logic ATL with finitely bounded semantics
Valentin Goranko, A. Kuusisto, R. Rönnholm
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
4
Sitaatiot
(Scopus)