Virtual symmetry reduction

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 121-131

  Emerson, E Allen ^a   Havlicek, John W ^a   Trefler, Richard J ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYMMETRIC COMMUNICATION NETWORK; MODEL CHECKING; STATE TRANSITION GRAPH; VIRTUAL SYMMETRY;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; GRAPH THEORY; MATHEMATICAL MODELS; TELECOMMUNICATION NETWORKS; THEOREM PROVING;

FINITE AUTOMATA;

EID: 0033719255     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)