EFFICIENT MODEL CHECKING IN FRAGMENTS OF THE PROPOSITIONAL MU-CALCULUS.

Volumn , Issue , 1986, Pages 267-278

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

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - COMPUTATIONAL LINGUISTICS; COMPUTER METATHEORY - FORMAL LOGIC;

MODEL-CHECKING ALGORITHM; PROPOSITIONAL MU-CALCULUS;

COMPUTER PROGRAMMING;

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

References (22)