An efficient heuristic procedure for solving the state assignment problem for event-based specifications

Autor:	Lavagno, Luciano, Moon, C. W., Brayton, R. K., SANGIOVANNI VINCENTELLI, A.
Rok vydání:	1995
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______2153::8042f12022d50ba3d096c97623abba14 http://hdl.handle.net/11583/1667483 Zobrazit plný text záznamu