Parametric quantitative temporal reasoning

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 336-343

  Allen Emerson, A ^a   Trefler, Richard J ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; NUMBER THEORY; SET THEORY; THEOREM PROVING;

MODEL CHECKING PROBLEM; PARAMETERIZED REAL-TIME COMPUTATION TREE LOGIC;

FORMAL LOGIC;

EID: 0032597498     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)