A New Model for Improving symbolic Product Machine Traversal.

Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda

Browse the full DAC paper archive.