D. Body

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1979

1 Mohamed G. Gouda, D. Body, W. Wood: Global and Local Models for the Specification and Verification of Distributed Systems. Berkeley Workshop 1979: 155-

	1979
1		Mohamed G. Gouda, D. Body, W. Wood: Global and Local Models for the Specification and Verification of Distributed Systems. Berkeley Workshop 1979: 155-

Coauthor Index