@article{DBLP:journals/tvlsi/BrewerH02,
author = {Forrest Brewer and
Steve Haynal},
title = {Symbolic NFA scheduling of a RISC microprocessor},
journal = {IEEE Trans. VLSI Syst.},
volume = {10},
number = {4},
year = {2002},
pages = {429-434},
ee = {http://doi.ieeecomputersociety.org/10.1109/TVLSI.2002.807349},
bibsource = {DBLP, http://dblp.uni-trier.de}
}