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 · 5 citations
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory