John C. Reynolds

Publication Activity (10 Years)

Years Active: 1965-2012
Publications (10 Years): 0

Top Topics

Computational Properties

Automated Reasoning

Control Problems

Top Venues

Publications