Универсальная подсистема анализа самосинхронных схем
Рождественский Ю.В., Морозов Н.В., Степченков Ю.А., Рождественскене А.В. Универсальная подсистема анализа самосинхронных схем // Системы и средства информатики, М.: Наука, вып. 16, 2006. – С. 463-475. Аннотация: Рассматривается анализ асинхронных схем на независимость…