dblp.uni-trier.dewww.uni-trier.de

Gregory B. Titus

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989
2EEGregory B. Titus, Allan M. Stavely: Finding reachable states of finite-state concurrent systems. Journal of Systems and Software 9(4): 253-272 (1989)
1985
1 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: 111-118

Coauthor Index

1D. C. Becker [1]
2S. P. Orr [1]
3Allan M. Stavely [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)