Computing the transitive closure of a state transition relation

Proceedings - Design Automation Conference

Volumn , Issue , 1993, Pages 260-265

  Matsunaga, Yusuke ^a   McGeer, Patrick C ^a   Brayton, Robert K ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTER AIDED DESIGN; DATA STRUCTURES; ITERATIVE METHODS; MATRIX ALGEBRA;

FINITE STATE MACHINES; STATE TRANSITION RELATIONS;

FINITE AUTOMATA;

EID: 0027290275     PISSN: 01467123     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/157485.164884     Document Type: Conference Paper

References (8)