Jan Kubovy, Mariam Rady, Dagmar Auer, Josef Küng,
"Abstraction levels in the Abstract State Machine (ASM) method for system specification"
: Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013, Serie Journal of Science and Technology, Vol. 51, Nummer 4B, Vietnam Academy of Science and Techology, Hanoi, Seite(n) 1-9, 10-2013
Original Titel:
Abstraction levels in the Abstract State Machine (ASM) method for system specification
Sprache des Titels:
Englisch
Original Buchtitel:
Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013