AAAAAA

   
Results: 1-2 |
Results: 2
On model checking for the mu-calculus and its fragments
Authors: Emerson, EA Jutla, CS Sistla, AP
Citation: Ea. Emerson et al., On model checking for the mu-calculus and its fragments, THEOR COMP, 258(1-2), 2001, pp. 491-522
The complexity of tree automata and logics of programs
Authors: Emerson, EA Jutla, CS
Citation: Ea. Emerson et Cs. Jutla, The complexity of tree automata and logics of programs, SIAM J COMP, 29(1), 1999, pp. 132-158
Risultati: 1-2 |