[IEEE 2017 International Conference on Advanced Computing and Applications (ACOMP) - Ho Chi Minh City (2017.11.29-2017.12.1)] 2017 International Conference on Advanced Computing and Applications (ACOMP) - Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach
Ton, Long-Phuoc, Pham, Hoang-Anh, Dao, BoYear:
2017
Language:
english
DOI:
10.1109/ACOMP.2017.33
File:
PDF, 379 KB
english, 2017