Generating finite state machines from abstract state machines
- 1 January 2002
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4), 112-122
- https://doi.org/10.1145/566189.566190