BibTeX
@article{DBLP:journals/deds/YevtushenkoVBPS08,
author = {Nina Yevtushenko and
Tiziano Villa and
Robert K. Brayton and
Alexandre Petrenko and
Alberto L. Sangiovanni-Vincentelli},
title = {Compositionally Progressive Solutions of Synchronous FSM
Equations},
journal = {Discrete Event Dynamic Systems},
volume = {18},
number = {1},
year = {2008},
pages = {51-89},
ee = {http://dx.doi.org/10.1007/s10626-007-0031-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-03-11 by Michael Ley (ley@uni-trier.de)