Real-time logics: Complexity and expressiveness

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1990, Pages 390-401

  Alur, Rajeev ^a   Henzinger, Thomas A ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - COMPUTABILITY AND DECIDABILITY;

REAL TIME LOGICS; SPECIFICATION LANGUAGES; TIME STATE SEQUENCES;

COMPUTER METATHEORY;

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

References (24)