On a concept of computer game implementation based on a temporal logic

E. Szymańska, M. Adamek, J. Mulawka, “On a concept of computer game implementation based on a temporal logic”

Author: Emilia Szymańska
Conference: Title