• Harris I. A coverage metric for the validation of interacting processes. Proceedings of the conference on Design, automation and test in Europe: Proceedings. (1019-1024).

    /doi/10.5555/1131481.1131763

  • Ferrandi F, Fummi F, Macii E, Poncino M and Sciuto D. Symbolic optimization of FSM networks based on sequential ATPG techniques. Proceedings of the 33rd annual Design Automation Conference. (467-470).

    https://doi.org/10.1145/240518.240607