Home  Catalogue of authors Catalogue of works Full search Add papers Login

Обнаружение ложных проводящих путей в статическом временном анализе на основе логических импликаций
Authors
 Гаврилов С.В.
 Глебов А.Л.
 Соловьев Р.А.
Date of publication
 2006
Type of work
 статья в научном журнале
Library reference
 Гаврилов С.В., Глебов А.Л., Соловьев Р.А. Обнаружение ложных проводящих путей в статическом временном анализе на основе логических импликаций. Известия ВУЗов. Электроника, 2006, N6
To IPPM site    To InfoMES site    Feedback
Copyright © 2012-2024 IPPM RAS. All Rights Reserved.
Updated and substantially revised version of system of 2016.
Design of site: IPPM RAS