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

Listing of all the works of the author. Click on the work title to get the full information.

Сынгаевский В.А. (Syngaevski V.A.)
1994 
 Syngaevski V.A.
BDD Application to Mutual Exclusion Testing in High-Level Synthesis
 
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