Game-Theoretic Semantics for Alternating-Time Temporal Logic
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine (2018)
2018
ACM Transactions on Computational Logic 19 3
17
Luonnontieteiden tiedekunta - Faculty of Natural Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.