Inproceedings,

Generating finite state machines from abstract state machines.

, , , and .
ISSTA, page 112-122. ACM, (2002)

Meta data

Tags

Users

  • @dblp
  • @leonardo

Comments and Reviews