MODALITIES FOR MODEL CHECKING: BRANCHING TIME STRIKES BACK.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1985, Pages 84-96

  Emerson, E Allen ^a   Lei, Chin Laung ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS - THEORY; COMPUTER PROGRAMMING - ALGORITHMS;

CONCURRENT PROGRAMMING; LINEAR TIME TEMPORAL LOGIC;

COMPUTER SYSTEMS PROGRAMMING;

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

References (33)