Ru-Gang Xu, Ph.D. - Publications
Affiliations: | 2009 | University of California, Los Angeles, Los Angeles, CA |
Area:
formal verification and control of systems; software verification and programming languages; game theoretic problems in verification; logic and automata theoryYear | Citation | Score | |||
---|---|---|---|---|---|
Show low-probability matches. |