Anzhela Matrosova, V. Andreeva, Alexey Melnikov. ROBDDs application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself. In 2016 IEEE East-West Design & Test Symposium, EWDTS 2016, Yerevan, Armenia, October 14-17, 2016. pages 1-4, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.