![]() |
@inproceedings{DBLP:conf/dac/HettSB00,
author = {Andreas Hett and
Christoph Scholl and
Bernd Becker},
title = {Distance driven finite state machine traversal},
booktitle = {DAC},
year = {2000},
pages = {39-42},
ee = {http://doi.acm.org/10.1145/337292.337308},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-12-16 by Michael Ley (ley@uni-trier.de)