@inproceedings{ff915b09be2f4b57a2906250341137fa,
title = "Abstraction levels in the Abstract State Machine (ASM) method for system specification",
author = "Jan Kubovy and Mariam Rady and Dagmar Auer and Josef K{\"u}ng",
year = "2013",
month = oct,
language = "English",
volume = "51",
series = "Journal of Science and Technology",
publisher = "Vietnam Academy of Science and Techology",
pages = "1--9",
booktitle = "Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013",
}