Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Generating finite state machines from abstract state machines
ISSTA, 2002.
@inproceedings{ISSTA-2002-GrieskampGSV,
author = "Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes",
booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}",
doi = "10.1145/566172.566190",
pages = "112--122",
publisher = "{ACM}",
title = "{Generating finite state machines from abstract state machines}",
year = 2002,
}