Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli. Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems, 18(1):51-89, 2008. [doi]
@article{YevtushenkoVBPS08,
title = {Compositionally Progressive Solutions of Synchronous FSM Equations},
author = {Nina Yevtushenko and Tiziano Villa and Robert K. Brayton and Alexandre Petrenko and Alberto L. Sangiovanni-Vincentelli},
year = {2008},
doi = {10.1007/s10626-007-0031-2},
url = {http://dx.doi.org/10.1007/s10626-007-0031-2},
tags = {composition},
researchr = {https://researchr.org/publication/YevtushenkoVBPS08},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {18},
number = {1},
pages = {51-89},
}