Y. Kesten

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Compositional Approach to CTL ∗ Verification

Y. Kesten and others (2005) · Theoretical Computer Science 331

Algorithmic verification of linear temporal logic specifications

Y. Kesten and others (1998) · Springer Berlin Heidelberg

Temporal verification of simulation and refinement

Y. Kesten and others (1994) · Springer Berlin Heidelberg