Y. Lu

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.

Securing Linux with a faster and scalable iptables

S. Miano and others (2019) · Association for Computing Machinery (ACM)

Progress on the State Explosion Problem in Model Checking

E. Clarke and others (2001) · Springer Berlin Heidelberg

Counterexample-Guided Abstraction Refinement

E. Clarke and others (2000) · Springer Berlin Heidelberg