Concepedia

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

E. Allen Emerson, Chin Laung Lei

Logic in Computer Science · 1986 · 433 citations · 0 references

Concepts