The Abstract State Machines Method for High-Level System Design and Analysis
2009 ◽
pp. 79-116
◽
2005 ◽
Vol 336
(2-3)
◽
pp. 205-207
◽
2009 ◽
Vol 86
(7-8)
◽
pp. 1253-1265
◽
2005 ◽
Vol 133
(1-3)
◽
pp. 149-171
◽
2018 ◽
Vol 10
(4)
◽
pp. 43-52
◽
Keyword(s):