Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes. Generating finite state machines from abstract state machines. In ISSTA. pages 112-122, 2002. [doi]

Authors

Wolfgang Grieskamp

This author has not been identified. Look up 'Wolfgang Grieskamp' in Google

Yuri Gurevich

Identified as Yuri Gurevich
(Microsoft Research
)

Wolfram Schulte

Identified as Wolfram Schulte

Margus Veanes

This author has not been identified. Look up 'Margus Veanes' in Google