@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}
}
Last update 2005-07-12 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page