학술논문
Transition between different abstraction levels in an abstract state machine (asm) ground model
Document Type
Conference Paper
Author
Source
In: Proceedings - International Workshop on Database and Expert Systems Applications, DEXA , Proceedings - 24th International Workshop on Database and Expert Systems Applications, DEXA 2013. (Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, 2013, :227-230)
Subject
Language
English
ISSN
15294188