Sherman Reed

List of publications from the DBLP Bibliography Server - FAQ

1996

1 EE Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed: Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. International Journal of Software Engineering and Knowledge Engineering 6(2): 229-248 (1996)

1996
1	EE	Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed: Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. International Journal of Software Engineering and Knowledge Engineering 6(2): 229-248 (1996)

Coauthor Index