Generating finite state machines from abstract state machines
Grieskamp, Wolfgang, Gurevich, Yuri, Schulte, Wolfram, Veanes, MargusVolume:
27
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/566171.566190
Date:
July, 2002
File:
PDF, 323 KB
english, 2002