Observations on the Decidability of Transitions

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_12 ◽

2004 ◽

pp. 161-168

Author(s):

Yuri Gurevich ◽

Rostislav Yavorskiy

Download Full-text