Gregory B. Titus

Publication Activity (10 Years)

Years Active: 1985-1989
Publications (10 Years): 0

Publications

Gregory B. Titus, Allan M. Stavely
Finding reachable states of finite-state concurrent systems. J. Syst. Softw. 9 (4) (1989)
Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus
A Collection of Software Tools for Analyzing Design of Concurrent Software Systems. ICSE (1985)