vix.ing · top · new · best · stats · spec

Chin-Laung Lei

  1. Modalities for model checking: branching time logic strikes back
    1987/06/01 by E. Allen Emerson, Chin-Laung Lei, Chin‐Laung Lei · 2 citations
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory