%0 Conference Paper %1 conf/issta/GrieskampGSV02 %A Grieskamp, Wolfgang %A Gurevich, Yuri %A Schulte, Wolfram %A Veanes, Margus %B ISSTA %D 2002 %E Frankl, Phyllis G. %I ACM %K %P 112-122 %T Generating finite state machines from abstract state machines. %U http://dblp.uni-trier.de/db/conf/issta/issta2002.html#GrieskampGSV02 %@ 1-58113-562-9

@inproceedings{conf/issta/GrieskampGSV02, added-at = {2023-12-13T04:09:33.000+0100}, author = {Grieskamp, Wolfgang and Gurevich, Yuri and Schulte, Wolfram and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/29d3703d266f5b45cdf74cd211cb2d460/admin}, booktitle = {ISSTA}, crossref = {conf/issta/2002}, editor = {Frankl, Phyllis G.}, ee = {http://doi.acm.org/10.1145/566172.566190}, interhash = {92a1564eccb16c9f0150809e3cafee69}, intrahash = {9d3703d266f5b45cdf74cd211cb2d460}, isbn = {1-58113-562-9}, keywords = {}, pages = {112-122}, publisher = {ACM}, timestamp = {2023-12-13T04:09:33.000+0100}, title = {Generating finite state machines from abstract state machines.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2002.html#GrieskampGSV02}, year = 2002 }