Abstract state machines and high-level system design and analysis
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):