Theory of hybrid automata

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 278-292

  Henzinger, Thomas A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; STATE SPACE METHODS; THEOREM PROVING;

FINITE STATE SYSTEMS; HYBRID AUTOMATA;

FINITE AUTOMATA;

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

References (40)