Scott M. Staley

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 1

Top Topics

Linear Temporal Logic

Bounded Model Checking

Top Venues

ACM Comput. Surv.

Publications

J. Stanley Warford, David Vega, Scott M. Staley
A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53 (3) (2020)
Scott M. Staley
Book reviews. Int. J. Gen. Syst. 36 (5) (2007)
Scott M. Staley, John N. Warfield
Enterprise integration of product development data: systems science in action. Enterp. Inf. Syst. 1 (3) (2007)
Alan L. Clark, Scott M. Staley
STEP AP203 data exchange study. Symposium on Solid Modeling and Applications (1995)
Scott M. Staley, David C. Anderson
Executable E-R Specifications for Database Schema Design. ER (1985)