On computing the transitive closure of a state transition relation.

Autor:	Matsunaga, Yusuke, McGeer, Patrick C., Brayton, Robert K.
Zdroj:	DAC: Annual ACM/IEEE Design Automation Conference; Jul1993, p260-265, 6p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu