Travelled to:1 × Greece
1 × USA
Collaborated with:E.A.Emerson A.P.Sistla
Talks about:complement (1) simultan (1) fragment (1) determin (1) calculus (1) automata (1) model (1) check (1)
Person: Charanjit S. Jutla
DBLP: Jutla:Charanjit_S=
Contributed to:
1993
1989Wrote 2 papers:
- CAV-1993-EmersonJS #calculus #model checking #on the #μ-calculus
- On Model-Checking for Fragments of μ-Calculus (EAE, CSJ, APS), pp. 385–396.
- LICS-1989-EmersonJ #automaton #on the
- On Simultaneously Determinizing and Complementing ω-Automata (EAE, CSJ), pp. 333–342.