Modal μ-calculus for durational transition systems

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 128-137

  Seidl, Helmut ^a  

^a UNIVERSITY OF TRIER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; FORMAL LOGIC; MODAL ANALYSIS; PROBLEM SOLVING;

DURATIONAL TRANSITION SYSTEMS; FINITE TRANSITION SYSTEMS; MODAL LOGIC;

COMPUTATION THEORY;

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

References (23)