TY - JOUR AU - Jan Wolte AU - Bastian Cramer AU - Uwe Kastens TI - Animation of Tile-Based Games Automatically Derived from Simulation Specifications JO - Computer Science and Information Systems PY - 2011 VL - 8 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a12/ ID - CSIS_2011_8_2_a12 ER -