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: |