☰

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 theory
Tree Info Similar researchers PubMed Report error

No matching publications found. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
Show low-probability matches.