Stem arcad$ (all stems)
2 papers:
- ASE-2012-BiallasBK #framework #logic #programmable #verification
- Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
- CSCW-2012-WangDLXG #case study #empirical #experience #framework #game studies #online
- Infrastructural experiences: an empirical study of an online arcade game platform in China (QW, XD, TL, HX, NG), pp. 583–592.