Jan Kubovy, Dagmar Auer, Josef Küng, Mariam Rady. Transition between Different Abstraction Levels in an Abstract State Machine (ASM) Ground Model. In Franck Morvan, A Min Tjoa, Roland Wagner, editors, 24th International Workshop on Database and Expert Systems Applications, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. pages 227-230, IEEE, 2013. [doi]
Abstract is missing.